[i18n-activity] new commits pushed by r12a

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

* editing, tidied back matter
  by r12a
https://github.com/w3c/i18n-activity/commit/7273a0bb62c9f72db5ca7f7a334328053325d1b8

Received on Tuesday, 11 October 2016 13:08:36 UTC