Skip to content
Snippets Groups Projects
Commit 6cd49d4a authored by Timo Koch's avatar Timo Koch
Browse files

Remove deprecation warnings with dune 2.9

parent cac5c966
No related branches found
No related tags found
1 merge request!133Remove deprecation warnings with dune 2.9
Pipeline #24978 passed
Stage: trigger pipelines