[docs-and-reports] Merged Pull Request: Opt-out should be possible and undetectable

• From: Aram Zucker-Scharff via GitHub <sysbot+gh@w3.org>
• Date: Wed, 10 Apr 2024 18:52:54 +0000
• To: public-patcg@w3.org
• Message-ID: <pull_request.closed-1445478618-1712775172-sysbot+gh@w3.org>

AramZS has just merged martinthomson's pull request 50 for https://github.com/patcg/docs-and-reports:

== Opt-out should be possible and undetectable ==
For framing any discussion we have regarding #49.

Closes #49.

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


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

Received on Wednesday, 10 April 2024 18:52:55 UTC