Update devutils_head

Ref. None
AdaCore · Jan 16, 2024 · 31fa3f1 · 31fa3f1
1 parent a9fe4e8
commit 31fa3f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -16,7 +16,7 @@ VSIX ?= ide/vscode/recordflux.vsix
 GENERATED_DIR = generated
 BUILD_GENERATED_DIR := $(MAKEFILE_DIR)/$(BUILD_DIR)/$(GENERATED_DIR)
 PYTHON_PACKAGES = bin doc/language_reference/conf.py doc/user_guide/conf.py examples/apps ide language rflx tests tools stubs setup.py
-DEVUTILS_HEAD = 82d80c18d25144727f56d99dde3b71a36be699fe
+DEVUTILS_HEAD = 0330c11ba4ffdc4cc861a16ba31d98b7770b8ea1
 GNATCOLL_HEAD = 25459f07a2e96eb0f28dcfd5b03febcb72930987
 LANGKIT_HEAD = 65e2dab678b2606e3b0eada64b7ef4fd8cae91bb
 ADASAT_HEAD = f948e2271aec51f9313fa41ff3c00230a483f9e8