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

I went ahead and fixed this. Thank you for the report!

Sebastian

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


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

Received on Saturday, 5 August 2023 22:13:21 UTC