Skip to content

adjust message on non-unwinding panic#105998

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:no-unwind-panic-msg
Dec 29, 2022

Commits

Commits on Dec 28, 2022