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 |