- use Ubuntu 18.10 in Travis

diff --git a/Dockerfile.ubuntu b/Dockerfile.ubuntu
index 7115783b2be8ab586304259cf203a5d1b0ea6695..323188f5584fe94ae189f02ad5273236ecba6a0c 100644 (file)
--- a/Dockerfile.ubuntu
+++ b/Dockerfile.ubuntu
@@ -1,5 +1,5 @@
-# Build Ubuntu 16.10 image
-FROM ubuntu:17.10
+# Build Ubuntu 18.10 image
+FROM ubuntu:18.10
 
 # see https://docs.docker.com/engine/userguide/eng-image/dockerfile_best-practices/#/run
 RUN apt-get update && \