[i18n-discuss] new commits pushed by r12a

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

* various fixups, still a prototype
  by r12a
https://github.com/w3c/i18n-discuss/commit/2cc4cf91d991435023745c52fa48d3a323390a02

Received on Thursday, 24 August 2017 11:43:01 UTC