in which some labels and notes are upgraded to structured suggestions#48928
Merged
bors merged 1 commit intorust-lang:masterfrom Mar 13, 2018
Merged
in which some labels and notes are upgraded to structured suggestions#48928bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom