[web-bluetooth] Pull Request: Drop |name| attribute since it is accessible from the |device| attribute

• From: Doug Turner via GitHub <sysbot+gh@w3.org>
• Date: Mon, 10 Dec 2018 18:59:27 +0000
• To: public-web-bluetooth-log@w3.org
• Message-ID: <pull_request.opened-237430039-1544468365-sysbot+gh@w3.org>

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

== Drop |name| attribute since it is accessible from the |device| attribute ==


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

Received on Monday, 10 December 2018 18:59:28 UTC