Make FatalErrorMarker lower priority than other panics#117557
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 9, 2023
Merged
Make `FatalErrorMarker` lower priority than other panics#117557bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
