> The only missing piece I could spot is that this patch doesn't add any
files to the release archive. If you want me to, I can fix that after
your commit.

Yes please. !!!

Before commit, I will take profit of Dan's wonderful deep review...
That's tomorrow job.

In addition, I have to tell you I'll be on vacation from 5 to 30
september, so if you prefer I commit after your september release,
that's no problem to me, I can do it in october. That's up to you.
Received on 2007-08-20