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

• From: Sebastian Zartner via GitHub <noreply@w3.org>
• Date: Sun, 02 Nov 2025 00:38:12 +0000
• To: public-css-archive@w3.org
• Message-ID: <issues.closed-1869077660-1762043891-noreply@w3.org>

SebastianZ closed this issue. See https://github.com/w3c/csswg-drafts/issues/9252

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

Received on Sunday, 2 November 2025 00:38:13 UTC