From 772f14997410bdc4c42f1244412d89c05badd644fdeae491d9c2d340b59234f7 Mon Sep 17 00:00:00 2001 From: Robert Frohl Date: Thu, 15 Jan 2026 11:16:30 +0100 Subject: [PATCH] Update submodules from pool/flint#1 and create patchinfo.20260115101600453573.93181000773252/_patchinfo --- flint | 2 +- .../_patchinfo | 14 ++++++++++++++ 2 files changed, 15 insertions(+), 1 deletion(-) create mode 100644 patchinfo.20260115101600453573.93181000773252/_patchinfo diff --git a/flint b/flint index 71e720c..47c6375 160000 --- a/flint +++ b/flint @@ -1 +1 @@ -Subproject commit 71e720ca6440ecf933788774d6e6950c37c759406c81bf7b1cc851eaf853c6e4 +Subproject commit 47c6375582988a3161619a7734e2651d9a6d97a824056ba86e24f1a44cc00c70 diff --git a/patchinfo.20260115101600453573.93181000773252/_patchinfo b/patchinfo.20260115101600453573.93181000773252/_patchinfo new file mode 100644 index 0000000..3fd5f1c --- /dev/null +++ b/patchinfo.20260115101600453573.93181000773252/_patchinfo @@ -0,0 +1,14 @@ + + jengelh + moderate + recommended + Recommended update for flint + This update for flint fixes the following issues: + +Changes in flint: + +- Fixed a compile error for downstream users when using -std=c23 or + a newer GCC which defaults to such. + + flint + -- 2.51.1