- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Mon, 10 Aug 2020 10:18:57 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/bp-i18n-specdev: * Use the `group` configuration option The wg, wgId, wgURI, and wgPatentURI options are deprecated in favour of “group”. See https://lists.w3.org/Archives/Public/spec-prod/2020JulSep/0002.html by Fuqiao Xue https://github.com/w3c/bp-i18n-specdev/commit/1a700fe852a5556b69c38431b3a5d9ba7bf193a2 * Merge pull request #46 from w3c/xfq/respec-group Use the `group` configuration option by r12a https://github.com/w3c/bp-i18n-specdev/commit/beca96980d37ea7c533336ff2351ad91192df5d7 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 10 August 2020 10:19:02 UTC