Skip to content

Merge branch 'buildsystem-fixes' into 'master'

Ansgar Burchardt requested to merge cherry-pick-65847558 into releases/2.6

Buildsystem fixes

See merge request !84 (merged)

(cherry picked from commit 65847558)

4c42b1a0 Try to guess the location of dune-common if is not set. 942ef175 Require dune-common.

Merge request reports