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

Approved.

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


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Wednesday, 26 May 2021 19:55:42 UTC