- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Wed, 26 Aug 2020 14:53:10 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/klreq: * 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/klreq/commit/5bd5ce3c4f05206b781297c9418434126f1f6e3a * Merge pull request #33 from w3c/xfq/group Use the `group` configuration option by r12a https://github.com/w3c/klreq/commit/16c2cc377ef4ccb62f7abf34d2e97c048b1eb508 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 26 August 2020 14:53:12 UTC