Skip to content

Fix build for GHC 8.2 and 8.4#3

Open
sergv wants to merge 1 commit into
ajscholl:masterfrom
sergv:master
Open

Fix build for GHC 8.2 and 8.4#3
sergv wants to merge 1 commit into
ajscholl:masterfrom
sergv:master

Commits

Commits on Jan 6, 2019