[dune-pdelab] Small bug

Oliver Sander sander at igpm.rwth-aachen.de
Wed Jul 1 10:30:33 CEST 2015

> 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.pgp>

More information about the dune-pdelab mailing list