[csswg-drafts] Pull Request: [css-page-3][editorial] Replaced `border-short-style` by `border-style`

• From: Sebastian Zartner via GitHub <sysbot+gh@w3.org>
• Date: Sat, 05 Aug 2023 22:06:21 +0000
• To: public-css-archive@w3.org
• Message-ID: <pull_request.labeled-1463964791-1691273179-sysbot+gh@w3.org>

SebastianZ has just labeled a pull request from SebastianZ for https://github.com/w3c/csswg-drafts as "editorial":

== [css-page-3][editorial] Replaced `border-short-style` by `border-style` ==
There is no `border-short-style` in CSS 2.1. Replaced it with the `border-style` shorthand.

Fixes #3156

Sebastian

See https://github.com/w3c/csswg-drafts/pull/9161


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

Received on Saturday, 5 August 2023 22:06:23 UTC