Subject: Re: bug#24947: ssh not working with ido
From: Michael Albinus <[email-masked]>
To: Colin Baxter <[email-masked]>
Cc: [email-masked]
Date: Fri, 18 Nov 2016 14:20:05 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Version: 26.1

Colin Baxter <[email-masked]> writes:

> Dear Michael,

Hi Colin,

> Of course - sorry, I wasn't thinking straight. I can therefore report
> success from your using your patch.

Thanks for confirmation. I'm marking the bug as closed.

> Thank again.
>
> Best wishes,
>
> Colin.

Best regards, Michael.