chiark / gitweb /
login: fix re-use of users