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

Received on Wednesday, 9 May 2018 17:47:42 UTC