From a1af076f8b3bf9cbcabd2ed3b79041299ac08143 Mon Sep 17 00:00:00 2001
From: Brain <braindigitalis@users.noreply.github.com>
Date: Wed, 24 May 2023 09:01:51 +0100
Subject: [PATCH] Update dpp.json

---
 versions/d-/dpp.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/versions/d-/dpp.json b/versions/d-/dpp.json
index 770d2b8fd9d697..df9eb0313b9ea5 100644
--- a/versions/d-/dpp.json
+++ b/versions/d-/dpp.json
@@ -1,7 +1,7 @@
 {
   "versions": [
     {
-      "git-tree": "8d605903b75a46d8a4a2278261c81fd2c68e6281",
+      "git-tree": "aa6c5a950fd9417562f788b27a61c2d3c5e4f4d8",
       "version": "10.0.24",
       "port-version": 0
     },