W3C home > Mailing lists > Public > public-i18n-archive@w3.org > April to June 2022

[bp-i18n-specdev] new commits pushed by r12a

From: r12a via GitHub <sysbot+gh@w3.org>
Date: Fri, 29 Apr 2022 09:36:56 +0000
To: public-i18n-archive@w3.org
Message-ID: <push-43f96d73b2521dbb7da3abdd12628a1585b039d0-1651225014-sysbot+gh@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

This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 18:09:47 UTC