close
Skip to content

v4000.4.1-r5: bump base for GHC-9.12 - #158

Merged
hsenag merged 1 commit into
masterfrom
ghc-9.12.1
Jan 5, 2025
Merged

v4000.4.1-r5: bump base for GHC-9.12#158
hsenag merged 1 commit into
masterfrom
ghc-9.12.1

Conversation

@andreasabel

@andreasabel andreasabel commented Jan 5, 2025 •
edited
Loading

Copy link
Copy Markdown
Member

Closes #157.

Published as revision 5.

@hsenag
hsenag merged commit eb34da1 into master Jan 5, 2025
@hsenag

hsenag commented Jan 5, 2025

Copy link
Copy Markdown
Member

Thanks! I've also applied 4000.4.1-r4 and 4000.4.1-r5 tags now, and I think given you write access so you're able to merge + push a tag yourself in future if you wish to.

@andreasabel
andreasabel deleted the ghc-9.12.1 branch January 5, 2025 18:05
@andreasabel

andreasabel commented Jan 5, 2025

Copy link
Copy Markdown
Member Author

Thanks!
I shall do so in the future.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

GHC 9.12

2 participants

@andreasabel @hsenag