Skip to content

Mark safe_suggestion and pushpop_unsafe as removed in feature_gate.rs#39071

Merged
bors merged 2 commits into
rust-lang:masterfrom
est31:master
Jan 16, 2017
Merged

Mark safe_suggestion and pushpop_unsafe as removed in feature_gate.rs#39071
bors merged 2 commits into
rust-lang:masterfrom
est31:master

Mark the pushpop_unsafe feature as "removed"

7821ea8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs