[docs-and-reports] Merged Pull Request: fix unclosed subscript tag from Erik Taubeneck via GitHub on 2023-09-11 (public-patcg@w3.org from September 2023)

From: Erik Taubeneck via GitHub <sysbot+gh@w3.org>
Date: Mon, 11 Sep 2023 13:08:37 +0000
To: public-patcg@w3.org
Message-ID: <pull_request.closed-1214251446-1694437715-sysbot+gh@w3.org>

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

== fix unclosed subscript tag ==
fixing a small typo in the readme.

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


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

Received on Monday, 11 September 2023 13:08:40 UTC