From af632a86a7a81a05c5b67476b71f2a540b866d02 Mon Sep 17 00:00:00 2001
From: "sascha.herzinger" <sascha.herzinger@uni.lu>
Date: Tue, 17 Oct 2017 10:46:05 +0200
Subject: [PATCH] CI has no setup tools for some reason

---
 setup.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/setup.py b/setup.py
index e18ec25..9c24e56 100644
--- a/setup.py
+++ b/setup.py
@@ -15,6 +15,7 @@ setup(
         'flask-compress==1.4.0',
         'typing==3.6.2',
         'jsonschema==2.6.0',
+        'setuptools==28.8.0',
         'celery[redis]==4.1.0',
         'redis==2.10.6',
         'numpy==1.13.3',
-- 
GitLab