[i18n-activity] new commits pushed by r12a

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

* i18n-wg/index, various editorial tidying
  by r12a
https://github.com/w3c/i18n-activity/commit/04b647ecb216ac4b69666c4ae64dea04dd99c32b

Received on Monday, 30 October 2017 10:12:11 UTC