exit: explain our expectations for the exit handlers registered in a Rust program#129581

Merged

bors merged 1 commit intorust-lang:masterfrom RalfJung:exit

Aug 27, 2024

+9

Commits on Aug 25, 2024

exit: explain our expectations for the exit handlers registered in a Rust program
RalfJung
committed