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

Renaming them makes sense to me. As that's probably a quick decision, let's add this to the agenda.

Sebastian

-- 
GitHub Notification of comment by SebastianZ
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/9252#issuecomment-1826436946 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 22:53:52 UTC