Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Release ppxlib.0.34.0 and ppxlib-tools.0.34.0 #27141

Open
wants to merge 3 commits into
base: master
Choose a base branch
from

Conversation

NathanReb
Copy link
Contributor

@NathanReb NathanReb commented Dec 18, 2024

CHANGES:

5.3 support

Other changes

Signed-off-by: Nathan Rebours <nathan.p.rebours@gmail.com>
@NathanReb
Copy link
Contributor Author

Sorry for the delay, thought I could get this through before leaving for the end of year holidays! Diving into the rev-deps failure and hopefully undrafting this today!

@NathanReb
Copy link
Contributor Author

From a quick look I couldn't spot anything that seems related to the changes in ppxlib so I'll proceed with the full release.

Please let me know if you manage to spot something I missed!

Signed-off-by: Nathan Rebours <nathan.p.rebours@gmail.com>
Signed-off-by: Nathan Rebours <nathan.p.rebours@gmail.com>
@NathanReb NathanReb changed the title Release ppxlib.0.34.0 Release ppxlib.0.34.0 and ppxlib-tools.0.34.0 Jan 6, 2025
@NathanReb NathanReb marked this pull request as ready for review January 6, 2025 10:34
@NathanReb
Copy link
Contributor Author

@kit-ty-kate do you think this is good to go?

@kit-ty-kate
Copy link
Member

I'm not really the one to ask (opam-repository maintainers are) but i have no objections. lgtm ofc

@NathanReb
Copy link
Contributor Author

Ah my bad!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants