]> git.lizzy.rs Git - rust.git/commit
Auto merge of #30264 - GuillaumeGomez:patch-5, r=Manishearth
authorbors <bors@rust-lang.org>
Sat, 2 Jan 2016 16:56:15 +0000 (16:56 +0000)
committerbors <bors@rust-lang.org>
Sat, 2 Jan 2016 16:56:15 +0000 (16:56 +0000)
commit4744472fe03cceb81747ac9c7c64ae5fe6340c0b
treef3a78e6c2f95bedfafd1a02d899d561e4125794a
parent44f020883eee01e3b4112bfac65b09a13e470c5c
parent55955f5a45c13c9e6222ca99881bd1a0d2efcd98
Auto merge of #30264 - GuillaumeGomez:patch-5, r=Manishearth

r? @Manishearth

Also: should I merged both commits? Not sure if it's really useful to keep the first one.
src/librustc/diagnostics.rs