| 19:29 | <jschoi> | What was the deadline for October-plenary notes edits, again? I was planning to edit them over the weekend. |
| 19:55 | <bakkot> | jschoi: "They will be published on November 11th" per the reflector |
| 19:55 | <bakkot> | though I imagine you could ask to hold off a couple of days to get your edits in |