Add Dune 2.8.0 release to the website (!389) · Merge requests · Infrastructure / dune-website · GitLab

Markus Blatt requested to merge feature/release-2.8.0-2nd-try into master Sep 06, 2021

This seems to work now (tested locally) apart from one thing:

Somehow the sorting decides that DUNE 2.8.0 should be last and not first as it should be. I have no idea why and am giving up...