Re: Dynamically changing remote servers list

[Ole Tange]

On Mon, Aug 25, 2014 at 8:44 PM, Douglas A. Augusto <daaugusto@gmail.com> 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.


/Ole