Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update dependencies #449

Merged
merged 1 commit into from
Nov 20, 2023
Merged

Update dependencies #449

merged 1 commit into from
Nov 20, 2023

Conversation

erikd
Copy link
Contributor

@erikd erikd commented Nov 1, 2023

This is required for to to build it with ghc-9.8 as a component of a rather large project.

There are a number of compiler warnings.

I would appreciate a fixed version on Hackage and since this is just a dependency update that could be achieved by a metadata edit.

@erikd
Copy link
Contributor Author

erikd commented Nov 17, 2023

@Gabriella439 Ping?

@Gabriella439 Gabriella439 merged commit 2029396 into Gabriella439:main Nov 20, 2023
20 checks passed
@Gabriella439
Copy link
Owner

Whoops! Thanks for the reminder. I pushed matching revision to Hackage

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.

2 participants