- From: Jeffrey Yasskin via GitHub <sysbot+gh@w3.org>
- Date: Thu, 16 Jul 2015 18:00:06 +0000
- To: public-web-bluetooth-log@w3.org
jyasskin has just created a new issue for https://github.com/WebBluetoothCG/web-bluetooth: == Fix "ID" capitalization == In https://github.com/w3c/web-nfc/issues/27#issuecomment-122013007 @domenic says "Id" should only have an initial capital. @annevk points out in https://github.com/jyasskin/web-bluetooth-1/commit/8154c44f9857336bb5f1d93a0aadfa3a1c19dc12#commitcomment-12208486 that I changed it the other way. https://github.com/w3ctag/design-principles/issues/15 doesn't have explicit guidance for this yet. We could avoid this by just giving `BluetoothDevice`s "id"s instead of "instanceId/D"s. See https://github.com/WebBluetoothCG/web-bluetooth/issues/139
Received on Thursday, 16 July 2015 18:00:11 UTC