- From: Masataka Yakura via GitHub <sysbot+gh@w3.org>
- Date: Sun, 29 Nov 2020 20:14:38 +0000
- To: public-css-archive@w3.org
myakura has just created a new issue for https://github.com/w3c/csswg-drafts: == [css-box-4] margin-trim or trim-margin == In September the group resolved to rename `ledding-trim` to `trim-ledding`. https://lists.w3.org/Archives/Public/www-style/2020Sep/0001.html This now makes me wonder if `margin-trim` gets the same facelift. https://drafts.csswg.org/css-box-4/#margin-trim Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/5750 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Sunday, 29 November 2020 20:14:51 UTC