Re: [docs-and-reports] Opt-out should be possible and undetectable (#50) from Michael Kleber via GitHub on 2023-11-07 (public-patcg@w3.org from November 2023)

From: Michael Kleber via GitHub <sysbot+gh@w3.org>
Date: Tue, 07 Nov 2023 20:24:25 +0000
To: public-patcg@w3.org
Message-ID: <issue_comment.created-1799945291-1699388663-sysbot+gh@w3.org>

Let's see if we can resolve it in discussion in #49 — maybe agenda space won't be needed.

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


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

Received on Tuesday, 7 November 2023 20:24:28 UTC