Revert PR #993 now Dune 3.17.1 has been released#996

Open

mtelvers wants to merge 1 commit intoocurrent:masterfrom mtelvers:revert-993

-112

Commits on Dec 19, 2024

Revert "Merge pull request ocurrent#993 from mtelvers/dune-3.17"
mtelvers
committed