Skip to content

Use forward compatible univ names in test for #16803#90

Merged
proux01 merged 1 commit intocoq:masterfrom SkySkimmer:univ-name-fixJan 22, 2025

Commits

Commits on Jan 21, 2025