[patcg.github.io] Pull Request: Update splash page

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