From d9d457b2c45277413732a1772119f049a846b22d Mon Sep 17 00:00:00 2001
From: Johan Tibell <johan.tibell@gmail.com>
Date: Tue, 15 Oct 2013 08:45:21 -0700
Subject: [PATCH] Remove specific username from Makefile

(cherry picked from commit db92d945961edec9b2e01ea81cf5dfc24f6ae0a2)
---
 Cabal/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Cabal/Makefile b/Cabal/Makefile
index 9aa29a8d0c..2a4e9805a3 100644
--- a/Cabal/Makefile
+++ b/Cabal/Makefile
@@ -8,7 +8,7 @@ KIND=rc
 PREFIX=/usr/local
 HC=ghc
 GHCFLAGS=-Wall
-SSH-USER=tibbe
+#SSH-USER=SOME_USER
 
 all: build
 
-- 
GitLab