Jesper Louis Andersen 97ee4bbdcf Use randombytes_uint32
Better name. Says what you are getting.
2020-01-15 14:05:25 +01:00
..
2020-01-15 14:05:25 +01:00