]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b937af1 21d7098)
auto merge of #7769 : alexcrichton/rust/issue-7732-fix-rusti-again, r=cmr
authorbors <bors@rust-lang.org>
Sun, 14 Jul 2013 06:07:31 +0000 (23:07 -0700)
committerbors <bors@rust-lang.org>
Sun, 14 Jul 2013 06:07:31 +0000 (23:07 -0700)
Turns out this was a more subtle bug than I originally thought. My analysis can be found in #7732, but I also tried to put descriptive info into the comments.

Closes #7732


Trivial merge
Empowering everyone to build reliable and efficient software.