From f317775ecb3cbf9fb92e0b9dbffa0330d313d761 Mon Sep 17 00:00:00 2001
From: Alejandro Serrano <trupill@gmail.com>
Date: Wed, 21 Nov 2018 10:40:51 +0100
Subject: [PATCH] Add GitHub username

---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 54e608d7..2c218084 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -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