[Guido] > I will force nobody to use checkin privileges. That almost went without saying <wink>. > However I see that for some contributors, checkin privileges will > save me and them time. Then it's Good! Provided it doesn't hurt language stability. I agree that changing the system to mail out diffs addresses what I was worried about there.