Skip to content

Conversation

@aherrmann
Copy link
Member

This is required by Hackage.

@aherrmann aherrmann requested a review from aspiwack as a code owner October 24, 2025 07:18
@aherrmann aherrmann merged commit b1bdebd into master Oct 24, 2025
5 checks passed
@aherrmann aherrmann deleted the base-bound branch October 24, 2025 07:26
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.

3 participants