- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Wed, 20 Jul 2022 17:46:02 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/bp-i18n-specdev: * Rationalise section ids, to match issue tracker repo labels. Add scripting to redirect old fragment ids to new ones. by r12a https://github.com/w3c/bp-i18n-specdev/commit/1764180ebbde311cb47ce25791d5e4b61eabd866 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 20 July 2022 17:46:06 UTC