[coq] Overlay for coq/coq#13617
You may likely want to make this change conditional on Coq's version, but it is out of my autoconf skills.
La vérification des quotas de chaque projet est mise en place en mode non bloquant. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Quota verification is enabled for projects in non-blocking mode. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
You may likely want to make this change conditional on Coq's version, but it is out of my autoconf skills.