[docs-and-reports] Closed Pull Request: start a sources doc to collect some references for patcg principles doc

• From: Nick Doty via GitHub <sysbot+gh@w3.org>
• Date: Mon, 11 Sep 2023 13:02:42 +0000
• To: public-patcg@w3.org
• Message-ID: <pull_request.closed-1280809825-1694437359-sysbot+gh@w3.org>

npdoty has just closed npdoty's pull request 38 for https://github.com/patcg/docs-and-reports:

== start a sources doc to collect some references for patcg principles doc ==
None

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


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

Received on Monday, 11 September 2023 13:02:44 UTC