> I don't really see the point of letting someone else update AUTHORS > for me though, but now Alexandre can pick whichever version he likes > best...
The point is some people forget, but the git log doesn't. It's updated semi-automatically, with a script, just not with every release. --Juan