chiark / gitweb /
Ensure that an old random seed isn't left around for the user to see when a