On Monday 26 April 2010 07:08:29 Boudewijn Rempt wrote: > But it > would certainly be convenient to me if everyone merged their own commits Ok, I will merge my commits.