From 0feede5a01276980fe3fe3ff9310b80e97b4bc5e Mon Sep 17 00:00:00 2001
From: Pavol Rusnak <stick@gk2.sk>
Date: Mon, 31 Jul 2017 10:06:27 +0200
Subject: [PATCH] build: switch from ubuntu to debian in docker build

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

diff --git a/Dockerfile b/Dockerfile
index dfb48d277..ad05037a6 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,6 +1,6 @@
 # initialize from the image
 
-FROM ubuntu:16.04
+FROM debian:9
 
 # update repositories