[meetings] Merged Pull Request: 12-5 Day 1 filled agenda, nothing filling day 2, may drop.

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

== 12-5 Day 1 filled agenda, nothing filling day 2, may drop. ==
None

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


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

Received on Friday, 1 December 2023 00:34:45 UTC