[i18n-activity] new commits pushed by r12a

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

* gap-analysis-github.js, Add handling for p:ok label
  by r12a
https://github.com/w3c/i18n-activity/commit/bb28f8a3065f4daa8165ed018453cc9217e4f0de

Received on Wednesday, 5 February 2020 10:00:22 UTC