Register new snapshot 12e0f72
auto merge of #16349 : nikomatsakis/rust/snapshot-20140808, r=nikomatsakis