Add GitHub username

This commit is contained in:
Alejandro Serrano 2018-11-21 10:40:51 +01:00
parent 74808db71f
commit f317775ecb

View File

@ -1116,7 +1116,7 @@ packages:
- wai-routing
- zeromq4-haskell
"Alejandro Serrano <trupill@gmail.com>":
"Alejandro Serrano <trupill@gmail.com> @serras":
- djinn-lib < 0 # build failure with GHC 8.4
- djinn-ghc < 0 # GHC 8.4 via djinn-lib
- kind-apply