Skip to content

Move staging modules to an extra section

Ansgar Burchardt requested to merge feature/dune-2.5.0-extra-section-for-staging into master

This should address the concerns from the discussion in !64 (merged)

Merge request reports