Skip to content

Use ppxlib version 0.37 at least#181

Merged
nojb merged 1 commit intoLexiFi:masterfrom
hhugo:ppxlib.0.36
Oct 16, 2025
Merged

Use ppxlib version 0.37 at least#181
nojb merged 1 commit intoLexiFi:masterfrom
hhugo:ppxlib.0.36

Commits

Commits on Oct 16, 2025