[meetings] Merged Pull Request: Remove an extra, empty agenda from Aram Zucker-Scharff via GitHub on 2023-10-24 (public-patcg@w3.org from October 2023)

From: Aram Zucker-Scharff via GitHub <sysbot+gh@w3.org>
Date: Tue, 24 Oct 2023 13:00:47 +0000
To: public-patcg@w3.org
Message-ID: <pull_request.closed-1570981418-1698152445-sysbot+gh@w3.org>

AramZS has just merged martinthomson's pull request 158 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 13:00:49 UTC