The following commits were just pushed by r12a to https://github.com/w3c/i18n-activity: * reviews/, Separate type labels from progress labels by r12a https://github.com/w3c/i18n-activity/commit/8a4ca4a64c0e2f8a4d65177ecf274e2b88f9cf51Received on Thursday, 21 May 2020 12:57:15 UTC
This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 18:09:42 UTC