Subject: Re: bug#38079: On Windows tramp hangs after server-start is called

From: Michael Albinus <[email-masked]>
Date: Wed, 06 Nov 2019 18:37:26 +0100

martin rudalics <[email-masked]> writes:

>> (for boring technical reasons), so my suggestion is for Trump to
>                                                             ^
>
>> compare system names case insensitively, at least on MS-Windows, with
>
> So Richard was right after all when he suggested to rename this ...

... and I've refused, for good reasons.

Will see what I could do.

> martin

Best regards, Michael.