]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4fdc27e 4fecc50)
auto merge of #14787 : alexcrichton/rust/issue-14784, r=pcwalton
authorbors <bors@rust-lang.org>
Wed, 11 Jun 2014 11:22:02 +0000 (04:22 -0700)
committerbors <bors@rust-lang.org>
Wed, 11 Jun 2014 11:22:02 +0000 (04:22 -0700)
This is another case of #13246. The RAII lock wasn't being destroyed until after
the allocation was free'd due to destructor scheduling.

Closes #14784


Trivial merge
Empowering everyone to build reliable and efficient software.