Skip to content

Avoid ppxlib direct deps here (simplify)#58

Merged
mbarbin merged 1 commit into
mainfrom
to-base-remove-ppx
May 8, 2026
Merged

Avoid ppxlib direct deps here (simplify)#58
mbarbin merged 1 commit into
mainfrom
to-base-remove-ppx

Conversation

@mbarbin
Copy link
Copy Markdown
Owner

@mbarbin mbarbin commented May 8, 2026

Remove direct ppx deps in this lib.

@mbarbin mbarbin merged commit 83c5ab9 into main May 8, 2026
18 checks passed
@mbarbin mbarbin deleted the to-base-remove-ppx branch May 8, 2026 12:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant