avoid confusing loop in catch_panic test#3117

Merged

bors merged 1 commit intorust-lang:masterfrom RalfJung:catch-panic-loop

Oct 10, 2023

+6-5

Commits on Oct 10, 2023

avoid confusing loop in catch_panic test
RalfJung
committed