Skip to content
Snippets Groups Projects
Commit 4f2798fd authored by Dennis Gläser's avatar Dennis Gläser
Browse files

Merge branch 'feature/require-dune-2.8' into 'master'

[dependencies] Raise dune version requirements to 2.8

Closes #1065

See merge request !2783
parents de0447cf 4c5e67cc
No related branches found
No related tags found
1 merge request!2783[dependencies] Raise dune version requirements to 2.8
Pipeline #9902 passed