Just a reminder that our holiday potluck will begin tomorrow at 6. The room will open at 5:30 for set-up. (Until yesterday, the webpage erroneously had the standard meeting time of 7PM as the starting time.) There's still time to sign up: https://docs.google.com/document/d/1RBixwitzhqsemzOOoUUW2wi4zwI_u8kzOTWmH-MV72Q/edit