[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Dynamically changing remote servers list

From: Ole Tange
Subject: Re: Dynamically changing remote servers list
Date: Mon, 25 Aug 2014 21:41:03 +0200

On Mon, Aug 25, 2014 at 8:44 PM, Douglas A. Augusto <> wrote:
> On 22/08/2014 at 11:53,

> I just saw that you have implemented that feature (#42983)! Thank you very
> much. However, I couldn't see the corresponding commit (6e61256) in the Git
> repository yet.

Some idiot forgot to 'git push'.

> Regarding the documentation, I can write the draft and an example of how
> to take advantage of the new feature.

Great. I think it will make sense to expand the section on --sshloginfile.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]