From 1ac0e9148ce1027bcbb4fb37035c2c9fff7297ca Mon Sep 17 00:00:00 2001
From: Rui Lopes <rgl@ruilopes.com>
Date: Mon, 30 Jan 2023 08:49:28 +0000
Subject: [PATCH] upgrade to docker 20.10.23

---
 provision/provision-docker.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/provision/provision-docker.sh b/provision/provision-docker.sh
index 8955a2d..a2566a8 100644
--- a/provision/provision-docker.sh
+++ b/provision/provision-docker.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 set -euxo pipefail
 
-docker_version="${1:-20.10.21}"; shift || true
+docker_version="${1:-20.10.23}"; shift || true
 registry_proxy_domain="${1:-$(hostname --fqdn)}"; shift || true
 # NB as-of docker 19.03.8, there is still no way to specify a registry mirror credentials,
 #    as such, we cannot use our docker-group registry, instead we must use the docker-proxy