Skip to content

Prepare for upstream version change from Dune 3.0 to 2.5

Christoph Grüninger requested to merge feature/dune-2.5-not-3.0 into master

Should even work when they stick to version 3.0, but not vice versa.

@hommel I propose to get this in 2.10.

Merge request reports