From ffb982ca35a752203b32f48bd324128fc3d51ad3 Mon Sep 17 00:00:00 2001 From: marrobi Date: Tue, 24 Oct 2023 15:35:43 +0000 Subject: [PATCH] Update for release 0.15.2 Fixes #91 --- .devcontainer/devcontainer.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index a44e368..411ac77 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -11,7 +11,7 @@ // export DOCKER_GROUP_ID=$(getent group docker | awk -F ":" '{ print $3 }') "DOCKER_GROUP_ID": "${localEnv:DOCKER_GROUP_ID}", "INTERACTIVE": "true", - "OSS_VERSION": "v0.15.1" + "OSS_VERSION": "v0.15.2" } }, "runArgs": [