- From: Jeffrey Yasskin via GitHub <sysbot+gh@w3.org>
- Date: Tue, 28 Jul 2015 18:23:11 +0000
- To: public-web-bluetooth-log@w3.org
The following commits were just pushed by jyasskin to https://github.com/WebBluetoothCG/web-bluetooth: * Rename BluetoothDevice.instanceID to BluetoothDevice.id. This avoids questions about how to capitalize "ID". There aren't any other uses of instanceID left, since #113 removed them, so we don't need this spelling to be consistent. Fixes #139. by Jeffrey Yasskin https://github.com/WebBluetoothCG/web-bluetooth/commit/7857fa11a040aa17abc3a3290c2bc9b359cd8420 * Merge pull request #147 from jyasskin/rename-instanceid Rename BluetoothDevice.instanceID to BluetoothDevice.id. by Jeffrey Yasskin https://github.com/WebBluetoothCG/web-bluetooth/commit/009e66b5e7ad2433df541ceb0ef1b5efb871ea8c
Received on Tuesday, 28 July 2015 18:23:18 UTC