Merge branch 'master' into patch-3

This commit is contained in:
Mihai Maruseac 2018-04-14 11:59:20 -07:00 committed by GitHub
commit f2b037cde7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -200,7 +200,7 @@ packages:
- threepenny-gui-flexbox < 0 # GHC 8.4 via clay
"Romain Edelmann <romain.edelmann@gmail.com> @redelmann":
- distribution # 0 # build failure with GHC 8.4
- distribution < 0 # build failure with GHC 8.4
"Nikita Tchayka <nikitatchayka@gmail.com> @nickseagull":
- ramus