[web-bluetooth] Pull Request: Remove Bluetooth assigned numbers names

beaufortfrancois has just submitted a new pull request for https://github.com/WebBluetoothCG/web-bluetooth:

== Remove Bluetooth assigned numbers names ==
This PR removes Bluetooth assigned numbers names as discussed at https://github.com/WebBluetoothCG/web-bluetooth/issues/535#issuecomment-897660441.

@reillyeon PTAL

See https://github.com/WebBluetoothCG/web-bluetooth/pull/556


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

Received on Friday, 13 August 2021 09:00:21 UTC