Skip to content

Fix conf-python-3 on Centos#28829

Merged
mseri merged 1 commit intoocaml:masterfrom
jmid:fix-conf-python-3
Nov 5, 2025
Merged

Fix conf-python-3 on Centos#28829
mseri merged 1 commit intoocaml:masterfrom
jmid:fix-conf-python-3

Commits

Commits on Nov 3, 2025