Ben Laurie Sat, 21 Sep 2013 09:07:40 -0700
I just pushed 3cd8547a2018ada88a4303067a2aa15eadc17f39 to master, which adds time to the random pool.
Before I cherry-pick back to earlier branches, it'd be nice if people let me know about any platform dependencies...