- From: Brian Birtles via GitHub <sysbot+gh@w3.org>
- Date: Sat, 28 Jan 2023 01:32:31 +0000
- To: public-css-archive@w3.org
> Hi - is there anything I need to do to make this mergeable? I'm not clear on how the IPR process is supposed to work (though this seems like a non-substantive change to me). I'm afraid I'm not sure either. Apparently the staff contact should get a mail about this? https://github.com/w3c/csswg-drafts/issues/6866#issuecomment-997867056 (Maybe @svgeesus knows?) I think it's a non-substantive change so I can just admin merge it--I was hoping to find that written down somewhere but I couldn't find it. I asked on `#css` but didn't get a response (yet) so I'm just going to merge it. -- GitHub Notification of comment by birtles Please view or discuss this issue at https://github.com/w3c/csswg-drafts/pull/8351#issuecomment-1407245185 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Saturday, 28 January 2023 01:32:33 UTC