Thursday office hours
Due to a couple of meetings that have come up, I need to shorten office hours tomorrow (Thursday). They will end at 1:15 rather than 2. Please let me know if you were planning to come in during that time and we can set up another appointment.