- From: Miriam Suzanne via GitHub <sysbot+gh@w3.org>
- Date: Fri, 01 Apr 2022 16:45:12 +0000
- To: public-css-archive@w3.org
I don't think I have any particular concerns about how or when or even if the property is deduplicated, if the primary effect is the same - duplicate names have no impact. I'm not opposed to making a change here if the spec text can be improved. -- GitHub Notification of comment by mirisuzanne Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/7181#issuecomment-1086127252 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 1 April 2022 16:45:13 UTC