Consistent permissions in the stdlib#18376
Merged
coqbot-app[bot] merged 1 commit intorocq-prover:masterfrom Dec 10, 2023
Merged
Consistent permissions in the stdlib#18376coqbot-app[bot] merged 1 commit intorocq-prover:masterfrom
coqbot-app[bot] merged 1 commit intorocq-prover:masterfrom
