Skip to content

Remove some last remants of {push,pop}_unsafe! - #85421

Merged
bors merged 1 commit into
rust-lang:masterfrom
syvb:rm_pushpop_unsafe
Jun 18, 2021
Merged

bors merged 1 commit into
rust-lang:masterfrom
syvb:rm_pushpop_unsafe

Commits

  1. Commits on Jun 6, 2021