Update devutils

Ref. None
AdaCore · Jul 11, 2024 · 6515e1c · 6515e1c
1 parent 7083155
commit 6515e1c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -40,7 +40,7 @@ GNATCOLL_DIR = contrib/gnatcoll-bindings
 LANGKIT_DIR = contrib/langkit
 ADASAT_DIR = contrib/adasat
 
-DEVUTILS_HEAD = cabe20a720f6adb62f2ac378ad2762cacee96089
+DEVUTILS_HEAD = 7d5514cdb8d103dd30d2e23453010ac97cec8c18
 GNATCOLL_HEAD = f988b2052d01310b830d63e86e19c8dc77d382a2
 LANGKIT_HEAD = 07218ed24a932e747b98416ceae74e1620276ecc
 ADASAT_HEAD = f20d814a4b26508d0dd6ee48a92bc560b122dad5

diff --git a/poetry.lock b/poetry.lock