[patwg-charter] Merged Pull Request: [editorial] fix the title text

• From: Aram Zucker-Scharff via GitHub <sysbot+gh@w3.org>
• Date: Wed, 11 May 2022 16:47:43 +0000
• To: public-patcg@w3.org
• Message-ID: <pull_request.closed-933075786-1652287472-sysbot+gh@w3.org>

AramZS has just merged wseltzer's pull request 22 for https://github.com/patcg/patwg-charter:

== [editorial] fix the title text ==
None

See https://github.com/patcg/patwg-charter/pull/22


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

Received on Wednesday, 11 May 2022 16:47:45 UTC