Fabian Boehm b75f901376 Fix reformat_for_screen
This had an infinite loop because it had two checks broken
2023-08-13 14:17:44 +02:00
..
2023-08-13 14:17:44 +02:00
2023-08-12 17:15:21 -07:00