chiark / gitweb /
Remove randomseed check