From 456ec0e2de1b48736059009f736de141f02da9b4 Mon Sep 17 00:00:00 2001
From: Manuel Spuhler <manuel.spuhler@gmail.com>
Date: Thu, 30 Apr 2020 11:41:26 +0200
Subject: [PATCH] Updated mip-deployment

---
 test-server/mip-deployment | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-server/mip-deployment b/test-server/mip-deployment
index 6317fd245..6cf0241c4 160000
--- a/test-server/mip-deployment
+++ b/test-server/mip-deployment
@@ -1 +1 @@
-Subproject commit 6317fd245dd83f7f1ec5dbc6473db840f83e0bdb
+Subproject commit 6cf0241c471747ee411559ad1bbeee0857e4da2d