[docs-and-reports] Merged Pull Request: Add rendered doucments to splash page.

seanturner has just merged seanturner's pull request 7 for https://github.com/patcg/docs-and-reports:

== Add rendered doucments to splash page. ==
This might make it easier for some to read the documents and report.

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


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

Received on Tuesday, 20 September 2022 13:34:14 UTC