chiark / gitweb /
basic: Fix build warning in random-util (#6284)