]> git.lizzy.rs Git - rust.git/commit
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)
commit56d544f7adc455fc1d7dfaec80315ea44e46d9ae
treed229010ad64847b2573ae48f77382ef566b2b2f1
parent091b9811c83d545a56a8dea8cbf9e9a2a39caa3c
parent2343e9d35403022425bed612ab9a26ccec72ed97
auto merge of #17683 : gereeter/rust/ident-to-name, r=pcwalton

This does a large chunk of #6993. It is based on top of #17654.