]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #23655 - gereeter:rustc-remove-ident, r=sanxiyn
authorbors <bors@rust-lang.org>
Mon, 6 Apr 2015 19:20:39 +0000 (19:20 +0000)
committerbors <bors@rust-lang.org>
Mon, 6 Apr 2015 19:20:39 +0000 (19:20 +0000)
...of #6993.

cc @pcwalton


Trivial merge