v0: add missing matching pop_depth for push_depth in skip_*.#51

alexcrichton merged 1 commit into

rust-lang:mainrust-lang/rustc-demangle:mainfrom

eddyb:pop-depth-when-skippingeddyb/rustc-demangle:pop-depth-when-skippingCopy head branch name to clipboard