Delyan Angelov 289974dd15 rand: use time microseconds too in default rand initialization; generate proper uuid_v4		2020-07-24 14:33:58 +03:00
..
util.v	rand: use time microseconds too in default rand initialization; generate proper uuid_v4	2020-07-24 14:33:58 +03:00