]> git.lizzy.rs Git - rust.git/commit
auto merge of #6325 : sammykim/rust/lint-name, r=graydon
authorbors <bors@rust-lang.org>
Thu, 9 May 2013 15:54:38 +0000 (08:54 -0700)
committerbors <bors@rust-lang.org>
Thu, 9 May 2013 15:54:38 +0000 (08:54 -0700)
commit7a4c6e587d631c0316d51c9b4a50d406f38221cd
tree9c701ca3684884607d40d701efff649b7c0b910e
parent4757a58798516ad14a6f361f80b275496cb310b8
parent1b4e375046be94629dd537993dbb28896aa2ff66
auto merge of #6325 : sammykim/rust/lint-name, r=graydon

Fix #3525.
src/librustc/driver/session.rs
src/librustc/middle/lint.rs