- From: Sebastian Zartner via GitHub <sysbot+gh@w3.org>
- Date: Wed, 19 Jul 2023 18:39:15 +0000
- To: public-css-archive@w3.org
Since we split borders and box decorations out into CSS Borders 4, I'll close this PR and set up a new one to avoid rebasing issues. Sebastian -- GitHub Notification of comment by SebastianZ Please view or discuss this issue at https://github.com/w3c/csswg-drafts/pull/8605#issuecomment-1642573698 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 19 July 2023 18:39:17 UTC