Hi Maarten, Could you configure your git scripts to output different filenames when generating patches? Somehow they get managed for me in my gmail inbox. It makes it quite a pain for me to review.
Thanks -- Steven Edwards "There is one thing stronger than all the armies in the world, and that is an idea whose time has come." - Victor Hugo
