From bbe47904b07fdc52371eb67f324ac1d1cd5cd630 Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Thu, 1 Oct 2020 12:23:34 +0200
Subject: [PATCH] CircleCI docker

---
 .circleci/config.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 0cbd61cf..afce89f7 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -308,7 +308,8 @@ jobs:
           command: |
             git submodule init
             git submodule update
-      - setup_remote_docker
+      - setup_remote_docker:
+          version: 19.03.12
       - run:
           name: Build Docker image
           command: .circleci/script/docker