From 0b92e915c49a80a670307e84a828c5b89885928d Mon Sep 17 00:00:00 2001
From: Dominik Ritter <dritter03@googlemail.com>
Date: Wed, 27 Jun 2018 23:27:17 +0200
Subject: [PATCH] Use ubuntu 17.10, as the sources for 17.04 seem to be down

---
 docker/base-5.2/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/base-5.2/Dockerfile b/docker/base-5.2/Dockerfile
index 1898592..2ec096f 100644
--- a/docker/base-5.2/Dockerfile
+++ b/docker/base-5.2/Dockerfile
@@ -1,4 +1,4 @@
-FROM ubuntu:17.04
+FROM ubuntu:17.10
 
 RUN \
   apt-get update && \