Use ubuntu 17.10, as the sources for 17.04 seem to be down

2018-06-27 23:27:17 +02:00 · 2018-06-27 23:27:17 +02:00 · 0b92e915c4
parent b9e6e6f32a
commit 0b92e915c4
1 changed files with 1 additions and 1 deletions
--- 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 && \