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 05:49:41 +0000
To: public-i18n-archive@w3.org
Message-ID: <push-34f8f9131bf8ba7e3167ade9ddaa75e7adda66c0-1651211378-sysbot+gh@w3.org>


The following commits were just pushed by r12a to https://github.com/w3c/bp-i18n-specdev:

* Add class=remove to script that creates checklists
  by r12a
https://github.com/w3c/bp-i18n-specdev/commit/34f8f9131bf8ba7e3167ade9ddaa75e7adda66c0



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

Received on Friday, 29 April 2022 05:49:42 UTC

This message: [ Message body ]
Next message: r12a via GitHub: "[bp-i18n-specdev] new commits pushed by r12a"
Previous message: W3C Bot via GitHub: "[i18n-activity] Escape Mechanisms in Identifiers (#1526)"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

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