release dune-grid-glue 2.8.0
I plan to release the current state (with updates to .gitlab-ci.yml and dune.module) as 2.8.0.
If someone feels something needs to be done before that, please say so now.
I plan to release the current state (with updates to .gitlab-ci.yml and dune.module) as 2.8.0.
If someone feels something needs to be done before that, please say so now.