]> git.lizzy.rs Git - rust.git/commit
auto merge of #5291 : pcwalton/rust/drop-lint, r=pcwalton
authorbors <bors@rust-lang.org>
Mon, 11 Mar 2013 17:15:58 +0000 (10:15 -0700)
committerbors <bors@rust-lang.org>
Mon, 11 Mar 2013 17:15:58 +0000 (10:15 -0700)
commit2ebb67487c1530822d83d6da6f71fa62cb68f2cd
tree7c5b611ac00f1054d51fd657d7fb7d143291fce2
parent51cdca0bf0d3efc554c1815df9306ea10e881a14
parent08c840205ea477d4f76216abac45be6a4ce9fa4b
auto merge of #5291 : pcwalton/rust/drop-lint, r=pcwalton

r? @nikomatsakis