@pebosi opened this issue on October 30th 2012

My patch changes some uses of rand() to the faster mt_rand().

@pebosi commented on October 30th 2012

Attachment: mt_rand.patch

@mattab commented on October 31st 2012

lgtm (looks good to me)

@diosmosis commented on December 15th 2012

(In [7627]) Fixes #3491, applying pebosi's patch to use mt_rand instead of rand.

This issue was closed on December 15th 2012
Powered by GitHub Issue Mirror