From a4b68bece7b7f2b07e8bb0b4ee5d12540317f36d Mon Sep 17 00:00:00 2001
From: Patrick Jentsch <pjentsch@pjentsch-Laptop.local>
Date: Sun, 2 Jun 2019 21:45:11 +0200
Subject: [PATCH] Use more specific versions.

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 528d55f..8645ea4 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,4 +1,4 @@
-FROM debian:stretch-slim
+FROM debian:9-slim
 
 LABEL maintainer="inf_sfb1288@lists.uni-bielefeld.de"