[i18n-drafts] new commits pushed by r12a

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

* nav/contentdev: ed nits
  by r12a
https://github.com/w3c/i18n-drafts/commit/19962c8f5ad837762b1a5e86987d9f29b4bbdb40



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

Received on Friday, 16 July 2021 14:03:30 UTC