Improve random number seeding in skipset.h.
1 file changed