- From: Nick Doty via GitHub <sysbot+gh@w3.org>
- Date: Fri, 11 Feb 2022 15:06:43 +0000
- To: public-patcg@w3.org
Maybe this change would help address #5 as well. Should I open a PR with the change in https://github.com/patcg/patcg.github.io/issues/3#issuecomment-998416741? -- GitHub Notification of comment by npdoty Please view or discuss this issue at https://github.com/patcg/patcg.github.io/issues/3#issuecomment-1036310080 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 11 February 2022 15:06:45 UTC