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

• From: Aram Zucker-Scharff via GitHub <sysbot+gh@w3.org>
• Date: Tue, 09 Aug 2022 22:14:17 +0000
• To: public-patcg@w3.org
• Message-ID: <pull_request.closed-985257986-1660083256-sysbot+gh@w3.org>

AramZS has just merged seanturner's pull request 18 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 Tuesday, 9 August 2022 22:14:19 UTC