[web-bluetooth] new commits pushed by jyasskin

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

* Fix up indentation in <pre> elements.
  by Jeffrey Yasskin
https://github.com/WebBluetoothCG/web-bluetooth/commit/1c491ed1b3377d83d9c8952ddfc0d024c077eee7

Received on Friday, 25 September 2015 16:34:59 UTC