- From: Emilio Cobos Álvarez via GitHub <sysbot+gh@w3.org>
- Date: Thu, 31 Mar 2022 22:00:19 +0000
- To: public-css-archive@w3.org
Hmm good point. I guess there could still be a use case for controlling the box (clip to the padding box instead for example), though for my specific use case I don't think it matters. -- GitHub Notification of comment by emilio Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/7188#issuecomment-1085167609 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 31 March 2022 22:00:20 UTC