- From: Sebastian Zartner via GitHub <sysbot+gh@w3.org>
- Date: Sun, 26 Nov 2023 08:17:52 +0000
- To: public-css-archive@w3.org
So far it isn't and so isn't `border-top-radius`. Same with `border-radius` and `border`. Discussing whether the new properties should be affected or even be part of the related shorthands, is a whole different discussion. @Loirooriol Can you please open a seperate issue for that? Sebastian -- GitHub Notification of comment by SebastianZ Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/9252#issuecomment-1826719654 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Sunday, 26 November 2023 08:17:53 UTC