v8.1.2356
f8c1f920 · patch 8.1.2356: rand() does not use the best algorithm ·