chiark / gitweb /
random-seed: improve debugging messages a bit