Agenda discussion for public meeting on 2023-11-23

[dotproto]

Please comment on this issue to add topics for our November 23, 2023 meeting. The agenda will be finalized approximately 12 hours before the actual meeting and migrated to our meeting notes doc.

New issues opened since our last meeting will be added to the agenda. WECG members are welcome to suggest other topics. When suggesting a topic, please provide a sentence or two describing what you hope to accomplish during discussion in the meeting.

Carry over

The following topics were on the agenda for our 2023-11-09 meeting, but we did not have enough time to discuss them.

• 477

• 433

• 336

New issues

• ~#485~
  • While this issue does not appear in the minutes, it was discussed in the Nov 9, 2023 meeting.

• 489

• 490

• 492

• 493

Ongoing issues

• 474

• 483

[hanguokai]

485 was discussed at the last meeting and can be ignored this time.

[erosman]

Please note #489 which also includes #477

[dotproto]

Closing in prep for today's meeting.