chiark / gitweb /
with-authinfo-kludge: Trim default port from `authinfo-kludge' argument.