[web-bluetooth] new commits pushed by jyasskin

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

* Deploy to GitHub Pages: ca0e3c9ed605140bbe0018eba6a4646900b3e1dc
  by Travis CI
https://github.com/WebBluetoothCG/web-bluetooth/commit/9f7029354ead55893402afe575c01c875e0b9afd

Received on Friday, 10 February 2017 18:27:22 UTC