Vacations

...right. I'll go on vacation from friday 'til the 5th of August. In order to
save my mailbox from exploding (and avoid having the computer department
screaming at me, and list problems, etc...) I'm off the list 'til then, so if
you want things to reach me you'll have to send it directly to my account.

See'ya!