- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Fri, 29 Apr 2022 09:36:56 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/bp-i18n-specdev: * Improve checklist dump. Capture check marks. Define them to indicate relevance. Change suggestion to copy to GH issue to say wiki, since output is now too big for a GH issue comment. Add comment placeholders to output. by r12a https://github.com/w3c/bp-i18n-specdev/commit/43f96d73b2521dbb7da3abdd12628a1585b039d0 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 29 April 2022 09:36:57 UTC