5 Pull requests merged by 2 people

• Update 05-wg-primary.md

  #1594 merged Nov 23, 2024

• Change "agenda item" topic to just "ready for review" items

  #1591 merged Nov 21, 2024

• Cancel secondary meetings from December onwards

  #1590 merged Nov 21, 2024

• Add missing headers

  #1589 merged Nov 21, 2024

• Add notes from November WG

  #1588 merged Nov 21, 2024

1 Pull request opened by 1 person

• Add 'implementation' to the Glossary

  #1593 opened Nov 22, 2024

1 Issue opened by 1 person

• January 2nd meeting: date okay?

  #1592 opened Nov 21, 2024