[Dune-devel] Dune 2.7.1 released

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

Bye
Christoph

-- 
Als wär es nix, leb' ich von [IT] und mach' nur, was ich lieb'
Lebe wie im Paradies, womit hab' ich das verdient?
Die Wahrheit ist: Hab' ich nicht, ich bin nur reicher beschenkt
Als jemand in einem armen Land mit dem gleichen Talent
[frei nach Tua von Die Orsons - Oioioiropa]