- From: Michael Kleber via GitHub <sysbot+gh@w3.org>
- Date: Wed, 08 Nov 2023 19:05:13 +0000
- To: public-patcg@w3.org
OK great, thanks folks. Martin, your suggested addition to #50 addresses this nicely. Don, certainly undetectable is the better option, but as usual we sometimes need to make trade-offs. -- GitHub Notification of comment by michaelkleber Please view or discuss this issue at https://github.com/patcg/docs-and-reports/issues/49#issuecomment-1802485425 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 8 November 2023 19:05:15 UTC