[i18n-drafts] new commits pushed by r12a

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

* Remove links from dt, and style as highlightLink.
  by r12a
https://github.com/w3c/i18n-drafts/commit/596c8dc4aa84d1bf62928c2af2bca471bb46aeeb



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

Received on Tuesday, 11 August 2020 11:40:22 UTC