Fix stuck while loop where the checked element never gets updated#1140
Merged
nielslyngsoe merged 2 commits intomainfrom Jul 2, 2025
Merged
Fix stuck while loop where the checked element never gets updated#1140nielslyngsoe merged 2 commits intomainfrom
nielslyngsoe merged 2 commits intomainfrom