[i18n-activity] new commits pushed by r12a

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

* dashboard, make text size reducer miss external pages
  by r12a
https://github.com/w3c/i18n-activity/commit/c3ef7e5f0e4da1ffbfc39f843ef934e4cb653a3d

Received on Thursday, 10 August 2017 12:38:45 UTC