Skip to content

Conversation

@simonmar
Copy link
Contributor

@simonmar simonmar commented Apr 3, 2025

Some bounds were updated, bumping the version for a Hackage upload

@facebook-github-bot
Copy link

@pepeiborra has imported this pull request. If you are a Meta employee, you can view this diff on Phabricator.

@facebook-github-bot
Copy link

@pepeiborra merged this pull request in 04a3537.

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