Hi everyone,

we're cancelling office hours for the next 3 weeks due to the holidays.

The next office hour is gonna be on January 10th.

Thank you.

Enjoy your holidays!

--