- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Wed, 14 Feb 2024 11:47:05 +0000
- To: public-i18n-archive@w3.org
But the latest ED presumably doesn't include these changes(?) since they haven't been merged yet. To speed things up i'll mark this as accepted on the assumption that the buttons will still be there after merging. I took another look at the code, and it doesn't seem to affect the buttons. -- GitHub Notification of comment by r12a Please view or discuss this issue at https://github.com/w3c/jlreq/pull/262#issuecomment-1943613668 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 14 February 2024 11:47:08 UTC