[i18n-activity] new commits pushed by r12a

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

* guidelines/github, Fix pre styling
  by r12a
https://github.com/w3c/i18n-activity/commit/6a57fb448a405d2c24a319edd6113d99eac639a0

Received on Monday, 29 April 2019 09:49:23 UTC