- From: Sebastian Zartner via GitHub <noreply@w3.org>
- Date: Sat, 13 Sep 2025 22:45:48 +0000
- To: public-css-archive@w3.org
The rename happened in https://github.com/w3c/csswg-drafts/commit/4bfbc1eb3fd5cf75fdce91f2c7dcfc82a77d2f7a half a year ago and I just fixed a previously missed place. So I think it's fine to close this now. Sebastian -- GitHub Notification of comment by SebastianZ Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/11949#issuecomment-3288921168 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Saturday, 13 September 2025 22:45:49 UTC