Fix 2866#3139

Merged

Opt-Mucca merged 2 commits into

Jul 10, 2026

Commits on Jul 7, 2026

Change loop stopping criteria from != to <
Opt-Mucca
committed

Commits on Jul 9, 2026

Change != to <
Opt-Mucca
committed