- From: ekr via GitHub <sysbot+gh@w3.org>
- Date: Thu, 07 Apr 2022 13:50:44 +0000
- To: public-patcg@w3.org
This still seems way too complicated. Here's a revised, much smaller, PR. https://github.com/patcg/patcg.github.io/pull/15 -- GitHub Notification of comment by ekr Please view or discuss this issue at https://github.com/patcg/patcg.github.io/pull/7#issuecomment-1091765652 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 7 April 2022 13:50:46 UTC