[patcg.github.io] Pull Request: Update splash page from Sean Turner via GitHub on 2022-07-01 (public-patcg@w3.org from July 2022)

From: Sean Turner via GitHub <sysbot+gh@w3.org>
Date: Fri, 01 Jul 2022 18:54:52 +0000
To: public-patcg@w3.org
Message-ID: <pull_request.opened-985257986-1656701688-sysbot+gh@w3.org>

seanturner has just submitted a new pull request for https://github.com/patcg/patcg.github.io:

== Update splash page ==
None

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


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

Received on Friday, 1 July 2022 18:54:53 UTC