Skip to content

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

Merged
bors merged 2 commits intorust-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 intorust-lang:masterfrom
est31:master

Commits

Commits on Jan 15, 2017