Skip to content

Conversation

newhoggy
Copy link
Member

@newhoggy newhoggy commented Oct 3, 2019

No description provided.

@newhoggy newhoggy force-pushed the add-ghc-8.8.1-to-ci branch from 29242db to 65b0141 Compare October 3, 2019 13:30
@newhoggy newhoggy force-pushed the add-ghc-8.8.1-to-ci branch from 65b0141 to 6b8b635 Compare October 3, 2019 13:31
@newhoggy newhoggy merged commit 47286f3 into master Oct 3, 2019
@newhoggy newhoggy deleted the add-ghc-8.8.1-to-ci branch October 3, 2019 22:12
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.

1 participant