adapt to coq/coq#15220 (!2) · Merge requests · BESSON Frederic / itauto · GitLab

Mentions légales du service

GitLab upgrade completed. Current version is 17.11.3.

TASSI Enrico requested to merge tassi/itauto:dynlink-w-findlib into master Dec 01, 2021

To be merge when https://github.com/coq/coq/pull/15220 is.