From b1436e12dcef42f3c96677b1aece6aa03bbfed84 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Mon, 25 Apr 2016 02:14:42 +0100
Subject: [PATCH] with-authinfo-kludge: Trim default port from
 `authinfo-kludge' argument.

Only my specially hacked version can actually cope with this.
---
 with-authinfo-kludge | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/with-authinfo-kludge b/with-authinfo-kludge
index fae87b5..f3bb428 100755
--- a/with-authinfo-kludge
+++ b/with-authinfo-kludge
@@ -592,6 +592,8 @@ sub fix_server_config ($) {
   $s->{"_proxy_sockdir"} = undef;
   $s->{"_proxy_server"} = defined $s->{"via"} ?
     $s->{"sshbind"} : $s->{"remote"};
+  $s->{"_proxy_server"} =~ s/:119$//;
+  $s->{"_proxy_server"} =~ s/^\[(.*)\]$/$1/;
   $s->{"_sshkid"} = undef;
   $s->{"_ssh_master"} = undef;
 }
-- 
2.11.0