From 4ae3d3af71486ba3b3e6800dee3c8c7ac0f50548 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Sun, 19 Apr 2020 12:43:20 -0400 Subject: [PATCH] Fix docker build error --- ci/docker/run/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/docker/run/Dockerfile b/ci/docker/run/Dockerfile index 315123203..83393fdbc 100644 --- a/ci/docker/run/Dockerfile +++ b/ci/docker/run/Dockerfile @@ -16,7 +16,7 @@ RUN apt-get update \ build-essential=12.4ubuntu1 \ ca-certificates=20180409 \ flex=2.6.4-6 \ - git=1:2.17.1-1ubuntu0.5 \ + git=1:2.17.1-1ubuntu0.6 \ libfl-dev=2.6.4-6 \ perl=5.26.1-6ubuntu0.3 \ python3=3.6.7-1~18.04 \