[docs-and-reports] Pull Request: Update index.html

• From: chaals via GitHub <sysbot+gh@w3.org>
• Date: Thu, 22 Sep 2022 10:28:45 +0000
• To: public-patcg@w3.org
• Message-ID: <pull_request.opened-1063969704-1663842523-sysbot+gh@w3.org>

chaals has just submitted a new pull request for https://github.com/patcg/docs-and-reports:

== Update index.html ==
flesh out the point a bit

See https://github.com/patcg/docs-and-reports/pull/12


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Thursday, 22 September 2022 10:28:46 UTC