Hello everyone,

I'll be on PTO starting this Thursday (June 29th) until July 10th. Therefore I'm gonna cancel our next office hour on July 4th.

In case of emergencies, contact me via email - I'll be off the IRC.

Thanks,
--