loop_match: fix 'no terminator on block'#143583
Merged
bors merged 1 commit intoJul 7, 2025
Merged
The logs for this run have expired and are no longer available.
Loading
loop_match: fix 'no terminator on block'#143583