Re: [web-bluetooth] Remove Bluetooth assigned numbers names (#556)

Closing because of https://github.com/WebBluetoothCG/web-bluetooth/pull/560

-- 
GitHub Notification of comment by beaufortfrancois
Please view or discuss this issue at https://github.com/WebBluetoothCG/web-bluetooth/pull/556#issuecomment-913623076 using your GitHub account


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

Received on Monday, 6 September 2021 12:48:17 UTC