- From: François Beaufort via GitHub <sysbot+gh@w3.org>
- Date: Fri, 24 Mar 2023 12:05:58 +0000
- To: public-web-bluetooth-log@w3.org
Merging this PR to unblock other PRs stuck with this error. -- GitHub Notification of comment by beaufortfrancois Please view or discuss this issue at https://github.com/WebBluetoothCG/web-bluetooth/pull/601#issuecomment-1482696118 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 24 March 2023 12:05:59 UTC