[meetings] Merged Pull Request: Setting up agenda for oct meeting from Aram Zucker-Scharff via GitHub on 2022-10-20 (public-patcg@w3.org from October 2022)

From: Aram Zucker-Scharff via GitHub <sysbot+gh@w3.org>
Date: Thu, 20 Oct 2022 15:11:24 +0000
To: public-patcg@w3.org
Message-ID: <pull_request.closed-1093957788-1666278681-sysbot+gh@w3.org>

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

== Setting up agenda for oct meeting ==
None

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


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

Received on Thursday, 20 October 2022 15:11:26 UTC