mozilla/rr — pull request #407 by cgjones (2013-09-13 19:49:46+00:00)
Title: Establish a critical section where desched events are relevant, and igno...re them if they're delivered outside that section.

Resolves #401.

@rocallahan care to review?

p.s. ouch, github is pretty hard to use without CSS ...