- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Sat, 22 Aug 2020 08:52:12 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/alreq: * 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/alreq/commit/c75f57236ce95fd5cc63bec44f3fce223156298b * Merge pull request #235 from w3c/xfq/group Use the `group` configuration option by r12a https://github.com/w3c/alreq/commit/2e115ff5b5f62dceebc8b5cd55809b155e888236 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Saturday, 22 August 2020 08:52:14 UTC