- From: fantasai via GitHub <sysbot+gh@w3.org>
- Date: Tue, 06 Aug 2024 12:25:36 +0000
- To: public-css-archive@w3.org
> To be consistent with margin-trim, I would suggest renaming trim-both to just trim. `margin-trim` doesn’t have a `trim` value though? -- GitHub Notification of comment by fantasai Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/10675#issuecomment-2271167129 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 6 August 2024 12:25:37 UTC