- From: Nick Doty via GitHub <sysbot+gh@w3.org>
- Date: Fri, 10 Nov 2023 17:20:06 +0000
- To: public-patcg@w3.org
This had positive feedback, no concerns expressed, several weeks open for review, and doesn't alter the actual main document itself anyway, so it seems especially low-risk to merge. -- GitHub Notification of comment by npdoty Please view or discuss this issue at https://github.com/patcg/docs-and-reports/pull/51#issuecomment-1806127866 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 10 November 2023 17:20:08 UTC