W3C home > Mailing lists > Public > public-device-apis-log@w3.org > May 2021

Re: [proximity] chore(ci): fix W3C_BUILD_OVERRIDE value (#47)

From: Fuqiao Xue via GitHub <sysbot+gh@w3.org>
Date: Thu, 27 May 2021 13:53:25 +0000
To: public-device-apis-log@w3.org
Message-ID: <issue_comment.created-849653974-1622123603-sysbot+gh@w3.org>
I pushed two commits and the issue seems to be fixed. @sidvishnoi can we close this PR now?

-- 
GitHub Notification of comment by xfq
Please view or discuss this issue at https://github.com/w3c/proximity/pull/47#issuecomment-849653974 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 27 May 2021 13:53:27 UTC

This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 12:47:58 UTC