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

Received on Wednesday, 3 August 2016 17:19:49 UTC