Skip to content

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

Merged
alexcrichton merged 1 commit intorust-lang:mainfrom
eddyb:pop-depth-when-skipping
Jul 20, 2021
Merged

v0: add missing matching `pop_depth` for `push_depth` in `skip_*`.#51
alexcrichton merged 1 commit intorust-lang:mainfrom
eddyb:pop-depth-when-skipping

Commits

Commits on Jul 20, 2021