Skip to content
New issue

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

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

Already on GitHub? # to your account

Support GHC-8.10 #41

Closed
chshersh opened this issue Apr 6, 2020 · 0 comments · Fixed by #42
Closed

Support GHC-8.10 #41

chshersh opened this issue Apr 6, 2020 · 0 comments · Fixed by #42
Assignees
Labels

Comments

@chshersh
Copy link
Contributor

chshersh commented Apr 6, 2020

No description provided.

@chshersh chshersh added enhancement New feature or request CI and removed enhancement New feature or request labels Apr 6, 2020
@chshersh chshersh self-assigned this Apr 6, 2020
chshersh added a commit that referenced this issue Apr 6, 2020
chshersh added a commit that referenced this issue Apr 6, 2020
vrom911 pushed a commit that referenced this issue Apr 7, 2020
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant