From f287d969c8392ab2a9161d74eac2bdfbe874fc24 Mon Sep 17 00:00:00 2001
From: Quentin Duchemin <quentinduchemin@tuta.io>
Date: Sat, 14 Sep 2019 14:35:47 +0200
Subject: [PATCH] Specify docker version number for pica-ci

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

diff --git a/pica-ci/Dockerfile b/pica-ci/Dockerfile
index 4514e100..294ef2c7 100644
--- a/pica-ci/Dockerfile
+++ b/pica-ci/Dockerfile
@@ -1,4 +1,4 @@
-FROM docker:stable
+FROM docker:19.03.0
 WORKDIR /workdir
 COPY . /workdir/
 
-- 
GitLab