Code

feature_gate: Remove GateStrength#68018

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

petrochenkov:nosoftpetrochenkov/rust:nosoftCopy head branch name to clipboard

Jan 11, 2020

Commits

Commits on Jan 11, 2020

• feature_gate: Remove `GateStrength`

  petrochenkov

  committed
  8e35c4f

  Copy full SHA for 8e35c4f