On vacation in July

Hi all,

Just FYI, I'll be mostly offline and on vacation during July.

I've pushed some patches today.. There are still pending patches on the mailing list that have to wait until the beginning of August.

Cheers,

Tony