]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #10605 : huonw/rust/ascii-ident-gate, r=pcwalton
authorbors <bors@rust-lang.org>
Fri, 22 Nov 2013 21:51:34 +0000 (13:51 -0800)
committerbors <bors@rust-lang.org>
Fri, 22 Nov 2013 21:51:34 +0000 (13:51 -0800)
cf. https://mail.mozilla.org/pipermail/rust-dev/2013-November/006920.html

1  2 
src/librustc/front/feature_gate.rs

Simple merge