On Wednesday 19 December 2007, Thomas McGuire wrote: ... > Oh, I didn't know CVS had it already. In that case, my patch is not needed. > How are these things handled? I try to sync as much as possible from time to time. It seems I'll do that today. Alex