]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #25825 - GuillaumeGomez:check_co, r=Manishearth
authorbors <bors@rust-lang.org>
Mon, 1 Jun 2015 10:59:37 +0000 (10:59 +0000)
committerbors <bors@rust-lang.org>
Mon, 1 Jun 2015 10:59:37 +0000 (10:59 +0000)
Part of #24407.


Trivial merge