]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #16334 : nikomatsakis/rust/mission-snapshot, r=achrichto
authorbors <bors@rust-lang.org>
Thu, 7 Aug 2014 21:51:19 +0000 (21:51 +0000)
committerbors <bors@rust-lang.org>
Thu, 7 Aug 2014 21:51:19 +0000 (21:51 +0000)

Trivial merge