- From: Tab Atkins Jr. via GitHub <sysbot+gh@w3.org>
- Date: Wed, 21 Jun 2023 17:05:58 +0000
- To: public-css-archive@w3.org
I honestly just didn't think about changing the inheritance tree? It feels like doing that to such an old rule *might* have compat implications, but then again CSSMediaRule is just as old and we changed it. So yeah, probably we can just do it this way. -- GitHub Notification of comment by tabatkins Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/8940#issuecomment-1601243623 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 21 June 2023 17:05:59 UTC