[i18n-activity] new commits pushed by r12a

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

* editing, adapted to use International repo for common files
bug fix too
  by r12a
https://github.com/w3c/i18n-activity/commit/ce2da5602e37c1a8d7b7bc58af29db89f81dad30

Received on Tuesday, 11 October 2016 14:35:21 UTC