Re: [csswg-drafts] [css-content-3] Add missing <content-list> sub-productions (#9318) from W3C Bot via GitHub on 2023-09-07 (public-css-archive@w3.org from September 2023)

From: W3C Bot via GitHub <sysbot+gh@w3.org>
Date: Thu, 07 Sep 2023 13:23:29 +0000
To: public-css-archive@w3.org
Message-ID: <issue_comment.created-1710145162-1694093007-sysbot+gh@w3.org>

[svgeesus](https://github.com/svgeesus) marked as non substantive for IPR from ash-nazg.

-- 
GitHub Notification of comment by w3cbot
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/pull/9318#issuecomment-1710145162 using your GitHub account


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

Received on Thursday, 7 September 2023 13:23:32 UTC