Closed: [csswg-drafts] [css-page-3] should border-short-style be border-style? (#3156)

• From: Sebastian Zartner via GitHub <sysbot+gh@w3.org>
• Date: Sat, 05 Aug 2023 22:10:57 +0000
• To: public-css-archive@w3.org
• Message-ID: <issues.closed-363981221-1691273456-sysbot+gh@w3.org>

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

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

Received on Saturday, 5 August 2023 22:10:59 UTC