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 +