Re: [csswg-drafts] [css-borders-4] Rename `border-clip-<side>` to `border-<side>-clip`? (#9252)

`border-top-clip` seems to imply that it's a longhand of `border-top`. Is that the case?

-- 
GitHub Notification of comment by Loirooriol
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/9252#issuecomment-1826445238 using your GitHub account


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

Received on Saturday, 25 November 2023 23:54:13 UTC