-
Carsten Gräser authored
* There's a 2.6 release branch already. * In correspondence with the core modules this should be 2.7-git * Depend on current dune-common
0d905f1b
* There's a 2.6 release branch already. * In correspondence with the core modules this should be 2.7-git * Depend on current dune-common