From 6515e1cec7fceb6f6ff99aec6eebd728436768f4 Mon Sep 17 00:00:00 2001
From: Tobias Reiher <reiher@adacore.com>
Date: Thu, 11 Jul 2024 14:25:32 +0200
Subject: [PATCH] Update devutils

Ref. None
---
 Makefile    | 2 +-
 poetry.lock | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 3b4fac23e..9abdab97e 100644
--- 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
index 7330e910f..9a17a2e87 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -1778,7 +1778,7 @@ files = [
 
 [[package]]
 name = "RecordFlux-devutils"
-version = "0.1.dev69+gcabe20a"
+version = "0.1.dev72+g7d5514c"
 description = "Linter configs and custom checkers"
 optional = false
 python-versions = ">=3.8"