Merge pull request #2812 from madewokherd/threadpool-ms-rand
authorZoltan Varga <vargaz@gmail.com>
Wed, 30 Mar 2016 19:13:02 +0000 (15:13 -0400)
committerZoltan Varga <vargaz@gmail.com>
Wed, 30 Mar 2016 19:13:02 +0000 (15:13 -0400)
commit3df894d8e8de70aaedbf101783ecc12037c31913
tree748c5c1f007f9ac54c531db6d230ace3eb139eef
parentff49850dfc18f5991246a203184fa1e0b8a7c7ab
parentb4a74942adeeccd8393e4c6a69bea0ef58545d53
Merge pull request #2812 from madewokherd/threadpool-ms-rand

[threadpool-ms] Fix incorrect use of mono_rand.