> 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


Reply via email to