Re: [csswg-drafts] [css-borders-4] Rename `border-clip-<side>` to `border-<side>-clip`? (#9252) from Oriol Brufau via GitHub on 2023-12-12 (public-css-archive@w3.org from December 2023)

From: Oriol Brufau via GitHub <sysbot+gh@w3.org>
Date: Tue, 12 Dec 2023 21:40:52 +0000
To: public-css-archive@w3.org
Message-ID: <issue_comment.created-1852852990-1702417250-sysbot+gh@w3.org>

I don't think the relationship with the shorthand is an unrelated discussion. I prefer `border-clip-<side>` if `border-<side>` is not going to be a shorthand. So at this point I disagree with the change being an obvious fix.

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


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

Received on Tuesday, 12 December 2023 21:40:53 UTC