mozilla/rust — pull request #10083 by alexcrichton (2013-10-26 04:56:18+00:00)
Title: Enhance timers to create ports

In addition to being able to sleep the current task, timers should be able to
create ports which get notified after a period of time.

Closes #10014