[meetings] Merged Pull Request: Add IRC details to agenda from Aram Zucker-Scharff via GitHub on 2022-02-10 (public-patcg@w3.org from February 2022)

From: Aram Zucker-Scharff via GitHub <sysbot+gh@w3.org>
Date: Thu, 10 Feb 2022 22:15:24 +0000
To: public-patcg@w3.org
Message-ID: <pull_request.closed-846223711-1644531322-sysbot+gh@w3.org>

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

== Add IRC details to agenda ==
None

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


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

Received on Thursday, 10 February 2022 22:15:25 UTC