Add GitHub username
commitf317775ecb3cbf9fb92e0b9dbffa0330d313d761
authorAlejandro Serrano <trupill@gmail.com>
dateWed 21 Nov 2018, 10:40 (8 years ago)
parent74808db
build-constraints.yaml+1−1
@@ -1116,7 +1116,7 @@ packages:
11161116 - wai-routing
11171117 - zeromq4-haskell
11181118
1119− "Alejandro Serrano <trupill@gmail.com>":
1119+ "Alejandro Serrano <trupill@gmail.com> @serras":
11201120 - djinn-lib < 0 # build failure with GHC 8.4
11211121 - djinn-ghc < 0 # GHC 8.4 via djinn-lib
11221122 - kind-apply