v2.8.0 protected

Markus Blatt

@markus.blatt

cf6b5b4d · Merge branch 'feature/dune.module-2.8.0' into 'releases/2.8' · Aug 31, 2021

Verified

Release 2.8.0