Skip to content
Snippets Groups Projects
Timo Koch's avatar
Timo Koch authored
Remove deprecation warnings with dune 2.9

See merge request !133

(cherry picked from commit d2f7d2c9)

6cd49d4a Remove deprecation warnings with dune 2.9
969cbb03
History
Name Last commit Last update