Skip to content

Conversation

erikd
Copy link
Contributor

@erikd erikd commented Sep 30, 2025

Currently using ghc-9.14.0.20250908.

Probably not worth merging this until the first full release of ghc-9.14.

@erikd erikd marked this pull request as draft September 30, 2025 06:00
Currently using ghc-9.14.0.20250908.
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.

1 participant