]> git.lizzy.rs Git - rust.git/commit
auto merge of #7823 : pnkfelix/rust/issue7821-document-lint-attributes, r=graydon
authorbors <bors@rust-lang.org>
Tue, 16 Jul 2013 19:58:31 +0000 (12:58 -0700)
committerbors <bors@rust-lang.org>
Tue, 16 Jul 2013 19:58:31 +0000 (12:58 -0700)
commit9db190305f7562f15b5282fed508aef81cfc9689
tree429545aa58b5d388a19b4592cd46b6a58f8d6b8e
parentad212ecee47e8f9126c9fa4ea1679435136e854e
parent8515abe0d92fb4f0a554e60da41e7ea12deb734e
auto merge of #7823 : pnkfelix/rust/issue7821-document-lint-attributes, r=graydon

r? anyone

Fix #7821.