[i18n-drafts] new commits pushed by r12a

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

* Delete techniques/authoring-html-new.html

This is actually an older version than the current one.
  by r12a
https://github.com/w3c/i18n-drafts/commit/11362a2d5756fa7758f5522ac766d2f9f8c10786



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

Received on Tuesday, 5 December 2023 16:55:39 UTC