Title
#officehours
s

seph

11/08/2022, 12:49 PM
<!here> Between elections and travel, it sounds like a big chunk of the US folks are unavailable today. So we are taking the unusual step of canceling office hours this week. See you all November 22nd!