Vacation hansg July 13th - July 20th

[Hans de Goede]

Hi All,

I'm going on vacation for a week starting tomorrow, and I will *not*
be reading email, etc. during that time.

Regards,

Hans