[i18n-drafts] new commits pushed by r12a

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

* pages/documenting_gaps: Source tidying
  by r12a
https://github.com/w3c/i18n-drafts/commit/9029cfb0d37c24d7741098ef57efee817402157f



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Wednesday, 7 June 2023 14:01:29 UTC