chiark / gitweb /
random-seed: a few modernizations

No match.