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

I'm just going to mark this as accepted Editor Discretion. This feature was only partially drafted in the first place, and this is an obvious fix to that editor's draft. The whole feature needs CSSWG review once it's properly drafted anyway.

-- 
GitHub Notification of comment by fantasai
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/9252#issuecomment-1852613119 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 18:45:42 UTC