14:57
<pzuraq>
what's the deadline for adding normative changes for a stage 3 proposal to the agenda?
15:09
<bakkot>
pzuraq: we haven't established a formal deadline, IIRC, but I know a lot of teams (including mine) do agenda reviews shortly after the deadline for advancement eligibility (which was the 27th), so any changes added after that people are likely not to have had time to review
15:10
<bakkot>
depending on the scope of the change that may or may not matter
15:10
<bakkot>
but definitely best to get things in before the deadline for advancement
15:16
<pzuraq>
for sure, yeah if it's too big of a change we can probably just discuss it and wait until the next meeting to accept it