chiark / gitweb /
basic/random-util: add new header for getrandom()