diff options
| author | bors <bors@rust-lang.org> | 2013-07-13 23:07:31 -0700 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2013-07-13 23:07:31 -0700 |
| commit | 247ad4515de0d2e32168eff780561bc3970a3f41 (patch) | |
| tree | 1730819979eaf0601e2418217a480705a7559c6c /src/rt/rust_kernel.cpp | |
| parent | b937af17c9ec309fa29d98c42a5735dd8b934369 (diff) | |
| parent | 21d709842704c6d6ba33a12b236b4d680e591004 (diff) | |
| download | rust-247ad4515de0d2e32168eff780561bc3970a3f41.tar.gz rust-247ad4515de0d2e32168eff780561bc3970a3f41.zip | |
auto merge of #7769 : alexcrichton/rust/issue-7732-fix-rusti-again, r=cmr
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
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions