Changing office hours for Jun 2025 (original) (raw)

My regularly scheduled office hours were going to be this Friday (Jun 20), but I’m going to be out of the office on Thur and Fri for the US holiday on Thur.

I’ve rescheduled those office hours to the same time on Friday Jun 27th.