[dune-pdelab] Small bug
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
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 473 bytes
Desc: OpenPGP digital signature
More information about the dune-pdelab