Skip to content

Support GHC-8.6.5...9.10.1#45

Merged
phadej merged 1 commit into
masterfrom
noble
May 17, 2024
Merged

Support GHC-8.6.5...9.10.1#45
phadej merged 1 commit into
masterfrom
noble

Conversation

@phadej

@phadej phadej commented May 17, 2024

Copy link
Copy Markdown
Owner

Closes #44
Closes #43

@phadej
phadej merged commit 27879fd into master May 17, 2024
@phadej
phadej deleted the noble branch May 17, 2024 10:41
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.

Allow base-4.20

1 participant