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

[#22] Support GHC-8.10 #23

Merged
merged 2 commits into from
Apr 6, 2020
Merged

[#22] Support GHC-8.10 #23

merged 2 commits into from
Apr 6, 2020

Conversation

vrom911
Copy link
Member

@vrom911 vrom911 commented Apr 6, 2020

Resolves #22

@vrom911 vrom911 added enhancement New feature or request CI labels Apr 6, 2020
@vrom911 vrom911 requested a review from chshersh as a code owner April 6, 2020 19:08
@vrom911 vrom911 self-assigned this Apr 6, 2020
Copy link

@hint-man hint-man bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There is no place for me here... I will choose the truth I like.

Copy link
Contributor

@chshersh chshersh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Super!

@vrom911 vrom911 force-pushed the vrom911/22-Support-GHC-8.10 branch from 9b51471 to e6103fb Compare April 6, 2020 19:09
@chshersh chshersh merged commit bbb0ba5 into master Apr 6, 2020
@chshersh chshersh deleted the vrom911/22-Support-GHC-8.10 branch April 6, 2020 19:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Support GHC-8.10
2 participants