Improve support for ppxlib.0.36 #2042

Closed

Milestone

opened

on Jun 13, 2025

In particular, run tests with the latest version of ppxlib

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

6.1No due date

Relationships

None yet

Development

No branches or pull requests