On Sat, May 01, 2010 at 02:17:19PM +0200, Frank Terbeck wrote: >> I would prefer mine because of the speed penalty of Benjamin's >> patch. Checking if the file exists in .git would be another >> possibility. > > And that would be the one from workers-27813¹? > > Regards, Frank > > ¹ Ah sorry. Yes, that's the one. Thanks, Simon -- + privacy is necessary + using gnupg http://gnupg.org + public key id: 0x92FEFDB7E44C32F9