[i18n-activity] new commits pushed by r12a

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/8a4ca4a64c0e2f8a4d65177ecf274e2b88f9cf51

Received on Thursday, 21 May 2020 12:57:15 UTC