]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #17683 : gereeter/rust/ident-to-name, r=pcwalton
authorbors <bors@rust-lang.org>
Thu, 23 Oct 2014 20:22:18 +0000 (20:22 +0000)
committerbors <bors@rust-lang.org>
Thu, 23 Oct 2014 20:22:18 +0000 (20:22 +0000)
This does a large chunk of #6993. It is based on top of #17654.


Trivial merge