- From: L. David Baron via GitHub <sysbot+gh@w3.org>
- Date: Thu, 14 Jul 2022 15:49:51 +0000
- To: public-css-archive@w3.org
dbaron has just submitted a new pull request for https://github.com/w3c/csswg-drafts: == Fix grouping in <general-enclosed> and apply earlier fixes to mediaqueries-5. == This fixes the grouping in the `<general-enclosed>` production so that both sides of the | are grouped with []. It also applies that fix and the prior fix in #6799 to mediaqueries-5. See https://github.com/w3c/csswg-drafts/pull/7497 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 14 July 2022 15:49:53 UTC