Re: master 55eabe96c9: ; Improve manual for Tramp kubernetes method

[Michael Albinus]

Yuri Khan <yuri.v.khan@gmail.com> writes:

Dear Yuri and Robert,

> On Tue, 25 Oct 2022 at 22:48, Robert Pluim <rpluim@gmail.com> wrote:
>
>>     Yuri> +    configuration of the remote host has been changed (which
>>     Yuri> +    would require to flush the cache data).
>>
>> […] Iʼm more concerned about the "require to flush" bit, which
>> should be "require flushing" :-)
>
> Right. Or “require us to flush”.

Please push any change which is worth to improve the Tramp manual. I'm
not a native English speaker, and I'm notorious in doing it wrong.

Thanks, and best regards, Michael.