Re: Question regarding Git config management

29 May 2015

      On May 29, 2015, at 9:33 AM, Sebastian Hagedorn <Hagedorn@uni-koeln.de> wrote:
...
So the switching works when the process is started by root ...
I've pushed a fix.  Please try the v3.0.x branch from github.

  Alan DeKok.