Ghostkeeper d27ed71518
Increase maximum integer length to 12 characters
This may cause overflows if the integer type is 32-bit, but we tend to use 64-bit anyway. And 9,999,999 was already an overflow too.

Fixes #12859.
2022-07-29 10:30:25 +02:00
..
2022-06-17 15:26:30 +02:00
2022-03-24 13:37:29 +01:00
2022-04-05 15:04:35 +02:00
2021-09-07 11:33:54 -04:00
2022-05-11 17:23:54 +02:00