mozilla/rr — pull request #398 by cgjones (2013-09-11 18:11:37+00:00)
Title: Try to fix divergence due to task-shutdown futexes.

This isn't a real fix, but papers over the underlying bug(s).

Resolves #386. Resolves #387.