Hi all,

we'll have the last office hour in 2021 tomorrow (Dec. 21st). Our first office hour in 2022 will be held on Dec. 4th.

Merry Christmas and Happy New Year!

Regards,
--