Skip to content

Conversation

@andreasabel
Copy link
Member

@andreasabel andreasabel commented Mar 16, 2024

@andreasabel andreasabel merged commit 7427e5c into master Mar 16, 2024
@andreasabel andreasabel deleted the ghc-9.10 branch March 16, 2024 15:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant