Re: [docs-and-reports] Opt-out should be possible and undetectable (#50) from Michael Kleber via GitHub on 2024-04-10 (public-patcg@w3.org from April 2024)

From: Michael Kleber via GitHub <sysbot+gh@w3.org>
Date: Wed, 10 Apr 2024 18:03:24 +0000
To: public-patcg@w3.org
Message-ID: <issue_comment.created-2048160772-1712772201-sysbot+gh@w3.org>

For avoidance of doubt: as I said in https://github.com/patcg/docs-and-reports/issues/49#issuecomment-1802485425, Martin's change has resolved my previously-raised concern.

-- 
GitHub Notification of comment by michaelkleber
Please view or discuss this issue at https://github.com/patcg/docs-and-reports/pull/50#issuecomment-2048160772 using your GitHub account


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

Received on Wednesday, 10 April 2024 18:03:25 UTC