[i18n-activity] new commits pushed by r12a

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

* Add copy-to-github feature to reviews/shortchecklist.html
  by r12a
https://github.com/w3c/i18n-activity/commit/862260198aa6a6225ddf3a66abec93c2604e54a1

Received on Thursday, 16 May 2019 16:52:58 UTC