- From: Aram Zucker-Scharff via GitHub <sysbot+gh@w3.org>
- Date: Tue, 17 May 2022 22:23:57 +0000
- To: public-patcg@w3.org
It does not appear we have consensus on these changes. At this time I'm going to close this PR for now. -- GitHub Notification of comment by AramZS Please view or discuss this issue at https://github.com/patcg/patcg.github.io/pull/6#issuecomment-1129372803 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 17 May 2022 22:23:58 UTC