From 753f19231ff3d9cb493225bf5a05712b3cf46eb8 Mon Sep 17 00:00:00 2001 From: tbeltzun <129868353+tbeltzun@users.noreply.github.com> Date: Tue, 28 Nov 2023 11:23:16 +0100 Subject: [PATCH] update TPL tag --- .devcontainer/devcontainer.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 272b1b0eb53..4913764ca69 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -2,7 +2,7 @@ "build": { "dockerfile": "Dockerfile", "args": { - "GEOS_TPL_TAG": "248-90" + "GEOS_TPL_TAG": "248-93" } }, "runArgs": [