[Dune-devel] Dune 2.7.1 released

[Carsten Gräser]

Hi Christoph,

Am 28.11.20 um 09:41 schrieb Christoph Grüninger:
> Hi Dune users and developers,
> yesterday we released Dune 2.7.1. It is a minor release providing a couple of back-ported fixes. For more information, see
> https://dune-project.org/releases/2.7.1/
> 
> A warm "Thank You!" to all the people reporting bugs, writing patches, and their back-porting! Markus, thanks for testing and providing feedback.
and especially to "those" who took care of the release.

Best,
Carsten