- From: François Beaufort via GitHub <sysbot+gh@w3.org>
- Date: Mon, 07 Mar 2022 13:26:05 +0000
- To: public-web-bluetooth-log@w3.org
> @reillyeon Once #576 is merged, this PR should be good to go https://github.com/WebBluetoothCG/web-bluetooth/pull/576 should be merged as well -- GitHub Notification of comment by beaufortfrancois Please view or discuss this issue at https://github.com/WebBluetoothCG/web-bluetooth/pull/574#issuecomment-1060685426 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 7 March 2022 13:26:07 UTC