Re: [csswg-drafts] [css-fonts] Rename `<*-family-name>` to `<*-font-family-name>`? (#13263)

> Finally, I am not sure how to update the _Changes_ section. 

It is fine, I can do that.

> I do not know if I should leave its entries related to the renamed productions 

This is why I tend to use non-linked text in the changes section

> and if I should only add _"- Renamed `<*-family-name>` to ..."_.

That is what I would do.



-- 
GitHub Notification of comment by svgeesus
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/13263#issuecomment-3694024271 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Saturday, 27 December 2025 14:52:56 UTC