Merge branch 'master' into patch-11

This commit is contained in:
Joe Kachmar 2018-05-21 14:55:29 +00:00 committed by GitHub
commit 76f4f21892
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1676,6 +1676,7 @@ packages:
"Mitchell Rosen <mitchellwrosen@gmail.com> @mitchellwrosen":
- safe-exceptions-checked
- tasty-hspec
- wai-middleware-travisci
"Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
- ghc-tcplugins-extra