Skip to content

Conversation

@andreasabel
Copy link
Member

No description provided.

@andreasabel andreasabel linked an issue Jun 25, 2024 that may be closed by this pull request
@andreasabel andreasabel merged commit 72cfecd into master Jun 25, 2024
@andreasabel andreasabel deleted the ghc-9.10 branch May 5, 2025 13:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants