]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1462 - RalfJung:ignore-windows, r=RalfJung
authorbors <bors@rust-lang.org>
Sun, 28 Jun 2020 18:41:17 +0000 (18:41 +0000)
committerbors <bors@rust-lang.org>
Sun, 28 Jun 2020 18:41:17 +0000 (18:41 +0000)
commitfd8101247749c5be6850d5cb5096f01a1867e5ba
treef343667049913aaa20901f67115e5f6e474b3937
parent2dfa6c1a46641bc6803fad0eaf27adfb75c14a26
parentfcdacce4b1638bb00aa4f9e0b8c5c5707c5ab969
Auto merge of #1462 - RalfJung:ignore-windows, r=RalfJung

fix some ignore-windows comments

and make that more consistent