Merge branch 'master' into development

Javernaut · Jul 25, 2020 · 12d1a65 · 12d1a65
2 parents ce31d1b + 2aaa331
commit 12d1a65
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile
@@ -14,7 +14,7 @@ ARG VERSION_PYTHON3_WHEEL=0.34.2-1
 ARG VERSION_NINJA_BUILD=1.10.0-1build1
 ARG VERSION_BUILD_ESSENTIAL=12.8ubuntu1
 ARG VERSION_OPENJDK_8_JDK_HEADLESS=8u252-b09-1ubuntu1
-ARG VERSION_CURL=7.68.0-1ubuntu2
+ARG VERSION_CURL=7.68.0-1ubuntu2.1
 ARG VERSION_UNZIP=6.0-25ubuntu1
 ARG VERSION_BASH=5.0-6ubuntu1
 ARG VERSION_NASM=2.14.02-1