[gambit-list] [PATCH 4/6] makefile.in: "merge $(REMOTE)" instead of "checkout master"