On Sun, 2012-01-15 at 18:06 +0100, Bert Huijben wrote:
> If the timer has enough detail we could just use the time, ptr
> combination as the seed here.

See whether you like r1231858.

-- 
Bojan

Reply via email to