Remove dependency to deprecated code
Remove code for Dune 2.7 and 2.8
This prevent compilation errors once core/dune-common!1214 (merged) get merged
Edited by Christoph Grüninger
Remove code for Dune 2.7 and 2.8
This prevent compilation errors once core/dune-common!1214 (merged) get merged