Code

rename StackPopClean::None to Root#92551

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:stack-pop-cleanupRalfJung/rust:stack-pop-cleanupCopy head branch name to clipboard

Jan 5, 2022

Commits

Commits on Jan 4, 2022

• rename StackPopClean::None to Root

  RalfJung

  committed
  d60018b

  Copy full SHA for d60018b