v8.1.2343
07e4a197 · patch 8.1.2343: using time() for srand() is not very random ·