Make sure coqdep does not misinterpret "Importfoo" (fix #20984).#21000
Open
silene wants to merge 1 commit intorocq-prover:masterfrom
Open
Make sure coqdep does not misinterpret "Importfoo" (fix #20984).#21000silene wants to merge 1 commit intorocq-prover:masterfrom
silene wants to merge 1 commit intorocq-prover:masterfrom
