Skip to content

interpret: rename StackPopCleanup#143528

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:stack-pop-cleanup
Jul 7, 2025
Merged

interpret: rename StackPopCleanup#143528
bors merged 1 commit intorust-lang:masterfrom
RalfJung:stack-pop-cleanup

Commits

Commits on Jul 6, 2025