Skip to content

Fix compatibility with ppxlib 0.36.0#40

Merged
andersfugmann merged 4 commits intomasterfrom
andersfugmann/ppxlib_0.36.0
Jun 25, 2025
Merged

Fix compatibility with ppxlib 0.36.0#40
andersfugmann merged 4 commits intomasterfrom
andersfugmann/ppxlib_0.36.0

Commits