Re: server-local variables

[Phil Sainty]

On 2016-11-01 04:42, Michael Albinus wrote:
> Well, it is not only the host which counts, also user name or method
> could be used to distinguish the different variable sets for different
> purposes. So one could use `connection-local' instead of 
> `server-local',
> if people prefer.

Yes, that makes good sense.