[patcg.github.io] Merged Pull Request: Fix CG name in body copy

• From: Sean Turner via GitHub <sysbot+gh@w3.org>
• Date: Mon, 11 Apr 2022 16:22:09 +0000
• To: public-patcg@w3.org
• Message-ID: <pull_request.closed-906118646-1649694127-sysbot+gh@w3.org>

seanturner has just merged dmarti's pull request 16 for https://github.com/patcg/patcg.github.io:

== Fix CG name in body copy ==
None

See https://github.com/patcg/patcg.github.io/pull/16


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

Received on Monday, 11 April 2022 16:22:10 UTC