Nov. 18, 1999
3:23 a.m.
[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.