[meetings] Pull Request: Remove an extra, empty agenda

martinthomson has just submitted a new pull request for https://github.com/patcg/meetings:

== Remove an extra, empty agenda ==
None

See https://github.com/patcg/meetings/pull/158


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Tuesday, 24 October 2023 12:59:10 UTC