[web-bluetooth] new commits pushed by jyasskin

The following commits were just pushed by jyasskin to 
https://github.com/WebBluetoothCG/web-bluetooth:

* Update bikeshed.
  by Jeffrey Yasskin
https://github.com/WebBluetoothCG/web-bluetooth/commit/83f6d7d24ec6a80b07070afbd961a365b824bd92

* Link interface names inside of note headings.

This will improve capitalization once w3c/tr-design@56cc5ef is merged 
to Bikeshed.
  by Jeffrey Yasskin
https://github.com/WebBluetoothCG/web-bluetooth/commit/c7b8d159d1987007ecac4076ebf6acfe24f772e1

Received on Saturday, 23 January 2016 03:34:46 UTC