- From: Aram Zucker-Scharff via GitHub <sysbot+gh@w3.org>
- Date: Tue, 16 May 2023 22:16:04 +0000
- To: public-patcg@w3.org
Hi all, it appears we have come to an agreement on merging in the discussed changes in the meeting. I think it is reasonable to close on Thursday (2 weeks following the proposal). I wanted to note in this repo in case folks had missed it that this was text change was near resolution - https://github.com/patcg/docs-and-reports/pull/43 -- GitHub Notification of comment by AramZS Please view or discuss this issue at https://github.com/patcg/meetings/issues/112#issuecomment-1550427311 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 16 May 2023 22:16:06 UTC