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

Merge branch 'fix/deprecationwarnign-dune29' into 'master' 

Remove deprecation warnings with dune 2.9

See merge request !133

(cherry picked from commit d2f7d2c9)

6cd49d4a Remove deprecation warnings with dune 2.9
parent a75b94d4
No related branches found
No related tags found
Checking pipeline status