- From: fantasai via GitHub <sysbot+gh@w3.org>
- Date: Mon, 11 Mar 2024 17:35:46 +0000
- To: public-css-archive@w3.org
That was subsequently rename to `text-box-trim`; so closing as no longer relevant. :) (Also, it's nice to keep all the margin-related properties sorting together.) -- GitHub Notification of comment by fantasai Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/5750#issuecomment-1989040828 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 11 March 2024 17:35:47 UTC