chiark / gitweb /
Infra: dgit-ssh-dispatch: Formatting fix (nfc)