- From: fantasai via GitHub <sysbot+gh@w3.org>
- Date: Mon, 14 Sep 2020 20:46:43 +0000
- To: public-css-archive@w3.org
Made the substitution requested, since here it's quite simple and does avoid that confusion with border-style. -- GitHub Notification of comment by fantasai Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/4629#issuecomment-692304710 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 14 September 2020 20:46:45 UTC