From ecc72e5fe4cf4e9ad79c33dd0b86e4c01c2d48ee Mon Sep 17 00:00:00 2001
From: Dirk Lemstra <dirk@lemstra.org>
Date: Mon, 10 Apr 2023 14:11:13 +0200
Subject: [PATCH] Corrected devcontainer name.

---
 .devcontainer/security/devcontainer.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.devcontainer/security/devcontainer.json b/.devcontainer/security/devcontainer.json
index 8c756c9720..04406540c1 100644
--- a/.devcontainer/security/devcontainer.json
+++ b/.devcontainer/security/devcontainer.json
@@ -1,5 +1,5 @@
 {
-  "name": "Sefault",
+  "name": "Security",
   "build": {
     "dockerfile": "Dockerfile"
   },