Achim Gratz <[email protected]> writes: > In a number of recent discussions it transpired that some people expect > to automatically be switched to a specific Git branch when updating. > > I've added this as an option to the standard Makefile.
Thanks! -- Bastien
