[meetings] Merged Pull Request: Set July Agenda

• From: Aram Zucker-Scharff via GitHub <sysbot+gh@w3.org>
• Date: Mon, 17 Jul 2023 16:17:55 +0000
• To: public-patcg@w3.org
• Message-ID: <pull_request.closed-1437631275-1689610672-sysbot+gh@w3.org>

AramZS has just merged AramZS's pull request 140 for https://github.com/patcg/meetings:

== Set July Agenda ==
None

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


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

Received on Monday, 17 July 2023 16:17:57 UTC