- From: Tab Atkins Jr. via GitHub <sysbot+gh@w3.org>
- Date: Mon, 28 Aug 2023 19:07:34 +0000
- To: public-css-archive@w3.org
Ah, you're right, I had forgotten and was going off the textual summary of the border properties in the Box spec. Still, we could use a more explicit definition of "border properties", and I think it's reasonable to include border-radius in there. -- GitHub Notification of comment by tabatkins Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/9245#issuecomment-1696226445 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 28 August 2023 19:07:36 UTC