chiark / gitweb /
jenkins test: clear singing-key-fingerpring from previous run