- From: Tab Atkins Jr. via GitHub <sysbot+gh@w3.org>
- Date: Wed, 15 Feb 2023 16:39:46 +0000
- To: public-css-archive@w3.org
Merged, I expect the only reason it wasn't was because of the IPR issue. I thought we were killing the mercurial bridge, fwiw? -- GitHub Notification of comment by tabatkins Please view or discuss this issue at https://github.com/w3c/csswg-drafts/pull/8413#issuecomment-1431658678 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 15 February 2023 16:39:48 UTC