Just saw this log from the bots http://bot.rust-lang.org/logs/2012/02/06/2012-03-06T10:19:41Z-50cd8e15-3023-4ec6-afde-e627de1a0f2d.html Related to the hack here: ee991cae81c644a5f536acb49fff59ec769e61c7 Ports are supposed to be completely dereffed before `del_port` but that isn't happening.
Activity
brson commentedon Mar 7, 2012
This one might fix it: dc0b9f4
If no further issues show up for a few days then I'll close this.
brson commentedon Mar 12, 2012
I believe this is fixed.
Update test-implementation.md (rust-lang#1937)
Update test-implementation.md (rust-lang#1937)
Merge pull request rust-lang#1937 from sayantn/intrinsic-fixes
Merge pull request rust-lang#1937 from sayantn/intrinsic-fixes
Merge rust-lang#1937
Auto merge of rust-lang#1937 - RalfJung:rustup, r=RalfJung