Update to GHC 8.4, and LTS 11.2#8
Open
mgajda wants to merge 6 commits intoddfisher:master from mgajda:master
+31-8
Commits
Commits on Jul 30, 2018
Commits on Jul 31, 2018
- committed
- committed
- committedMichal J. Gajda
- committedMichal J. Gajda
Commits on Apr 19, 2021
- committed