Merge branch 'master' into development

pull/53/head
Javernaut 4 years ago
commit 12d1a65cc4
  1. 2
      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

Loading…
Cancel
Save