Skip to content

Updates#16

Merged
erikd merged 2 commits into
masterfrom
erikd/updates
Feb 10, 2026
Merged

Updates#16
erikd merged 2 commits into
masterfrom
erikd/updates

Conversation

@erikd
Copy link
Copy Markdown
Owner

@erikd erikd commented Feb 10, 2026

No description provided.

Includes an `allow-newer: *:*` for ghc-9.14. This hack will be
removed when `ghc-9.14` support is more widespread.
@erikd erikd merged commit e09f0d9 into master Feb 10, 2026
12 checks passed
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