Closed jnkh closed 6 years ago
Various small changes. Major bugfix for giving each random worker its own random seed.
Can one of the admins verify this patch?
Various small changes. Major bugfix for giving each random worker its own random seed.