[csswg-drafts] Pull Request: [css-ui] Remove slider-horizontal, square-button, push-button from <compat-auto> from Simon Pieters via GitHub on 2023-05-25 (public-css-archive@w3.org from May 2023)

From: Simon Pieters via GitHub <sysbot+gh@w3.org>
Date: Thu, 25 May 2023 18:52:36 +0000
To: public-css-archive@w3.org
Message-ID: <pull_request.opened-1365193076-1685040753-sysbot+gh@w3.org>

zcorpan has just submitted a new pull request for https://github.com/w3c/csswg-drafts:

== [css-ui] Remove slider-horizontal, square-button, push-button from <compat-auto> ==
Fixes #8506

See https://github.com/w3c/csswg-drafts/pull/8877


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

Received on Thursday, 25 May 2023 18:52:37 UTC