Merge branch 'update/dune-v2.5' into 'master'
Update to Dune v2.5 See merge request !1
Showing
The TS-GitLab will have to shut down towards the end of the year — please think about migrating your projects to GitLab.com or GitHub.
(This is still a very early message, meant to keep you informed. There will be more urgent ones in the future.)
Update to Dune v2.5 See merge request !1