]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #3777 - timotree3:patch-1, r=Manishearth
authorbors <bors@rust-lang.org>
Mon, 18 Feb 2019 11:40:29 +0000 (11:40 +0000)
committerbors <bors@rust-lang.org>
Mon, 18 Feb 2019 11:40:29 +0000 (11:40 +0000)
Fix typo in documentation for float_cmp_const lint


Trivial merge