[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: 7a8f851c93cf04ea0f9e85d6e1d6acaaed59c9f6
  by Travis CI
https://github.com/WebBluetoothCG/web-bluetooth/commit/f9e38935ae31f19b7f2e62f03a21fa0433133aa5

Received on Friday, 5 August 2016 03:07:20 UTC