Alex Crichton 708cc9d9b8 Rename bmi to bmi1
In accordance with rust-lang/rust#48565
2018-03-02 07:02:22 -08:00
..
2018-03-02 07:02:22 -08:00