Merge branch '1.12'

2026-05-13 18:17:53 +02:00
parent 43511a96b0 25dd989749
commit 3542f20787
1 changed files with 1 additions and 0 deletions
@@ -37,6 +37,7 @@
 #include <stdint.h>
 #include <limits>
 #include <initializer_list>
+#include <iterator>

 #include "core.h"