[csswg-drafts] [css-box-4] margin-trim or trim-margin (#5750)

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