- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Sat, 22 Aug 2020 08:51:24 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/alreq: * Use the respec-w3c profile The w3c-common profile was no longer updated. See https://github.com/w3c/respec/pull/2838 for details. by Fuqiao Xue https://github.com/w3c/alreq/commit/767f3e260259a182c418d6d6cba87227e95bc171 * Merge pull request #234 from w3c/xfq/respec-w3c Use the respec-w3c profile by r12a https://github.com/w3c/alreq/commit/646e8279060b4b262def401b48362d4cdaf34728 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Saturday, 22 August 2020 08:51:25 UTC