- From: benjaminsavage via GitHub <sysbot+gh@w3.org>
- Date: Mon, 19 Jun 2023 08:39:45 +0000
- To: public-patcg@w3.org
I don't know how to edit commits made through the Github UI, so I just made a new one with ya'lls proposed changes =). https://github.com/patcg/docs-and-reports/pull/48 -- GitHub Notification of comment by benjaminsavage Please view or discuss this issue at https://github.com/patcg/docs-and-reports/pull/45#issuecomment-1596758211 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 19 June 2023 08:39:47 UTC