[Dune-devel] Dune release 2.7?
oliver.sander at tu-dresden.de
Mon Aug 26 21:42:41 CEST 2019
> That would be https://gitlab.dune-project.org/core/dune-common/issues/131 .
> I did not find time to advance this issue in any way, and it is unlikely that
> I'll find the time soon. If anyone wants to take the lead on this, go ahead.
My plan is to add those that are uncontroversial now, and leave the others
for another day.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 488 bytes
Desc: OpenPGP digital signature
More information about the Dune-devel