[docs-and-reports] Merged Pull Request: Fix formatting in the section 4.2

• From: Erik Taubeneck via GitHub <sysbot+gh@w3.org>
• Date: Mon, 11 Sep 2023 13:09:50 +0000
• To: public-patcg@w3.org
• Message-ID: <pull_request.closed-1230646480-1694437788-sysbot+gh@w3.org>

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

== Fix formatting in the section 4.2 ==
None

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


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

Received on Monday, 11 September 2023 13:09:52 UTC