[dune-pdelab] Small bug

[Oliver Sander]

> 
> Ah, but that’s wrong anyway ;-)
> 
> As an external user, you should just include <dune/pdelab/backend/istl.hh> and let that header take care of including
> everything else. That should probably be changed in all of those backward compatibility headers…
>

The merge request should hit your desk shortly.

It still does feel like a lot of clicks for a single commit, though.


>>
>> Interestingly, it seems that I would be motivated to send an actual patch for this,
>> but the new merge-request machinery seems to put me off.  It feels like too much of
>> a burden for such a small change.  Maybe I have to work on my attitude. :-)
>>
>> _______________________________________________
>> dune-pdelab mailing list
>> dune-pdelab at dune-project.org
>> http://lists.dune-project.org/mailman/listinfo/dune-pdelab
> 


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 473 bytes
Desc: OpenPGP digital signature
URL: <https://lists.dune-project.org/pipermail/dune-pdelab/attachments/20150701/ed2770cb/attachment.sig>