Hi Ben, Am 14.08.2010 um 19:00 schrieb Ben Walton: > Ok, since the issue was re-raised, lets do a quick informal poll (GAR > users only, please). > > Two questions: > > Would you like the option to turn off the git-patch support in GAR No, it's not worth the effort compared to the minimal gain. Best regards -- Dago