chiark / gitweb /
login: add 'mir' to the list of session types