- From: Martin Thomson via GitHub <sysbot+gh@w3.org>
- Date: Tue, 21 Jun 2022 08:54:01 +0000
- To: public-patcg@w3.org
By all means, merge these ahead of then; pull requests are cheap and my time available for revisions is limited. -- GitHub Notification of comment by martinthomson Please view or discuss this issue at https://github.com/patcg/meetings/pull/63#issuecomment-1161458657 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 21 June 2022 08:54:02 UTC