Closed Niols closed 5 months ago
Fix error introduced in https://github.com/paris-branch/dancelor/pull/331 and that slipped away because of the temporarily broken OPAM CI.
Fix error introduced in https://github.com/paris-branch/dancelor/pull/331 and that slipped away because of the temporarily broken OPAM CI.