Skip to content

ppxlib 0.36.{0,1} needs avoid-version#28663

Merged
mseri merged 1 commit intoocaml:masterfrom
mseri:ppxlib-avoid-version
Oct 7, 2025
Merged

ppxlib 0.36.{0,1} needs avoid-version#28663
mseri merged 1 commit intoocaml:masterfrom
mseri:ppxlib-avoid-version

Commits

Commits on Oct 7, 2025