[gambit-list] [PATCH 1/6] makefile.in: make "update" target use merge instead of checkout