[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: 5315063b46983396f95deee949ee198ee770bea2
  by Travis CI
https://github.com/WebBluetoothCG/web-bluetooth/commit/6aa82cf1813dd2d5e7cd5e690bff781386ebd6f5

Received on Wednesday, 13 June 2018 21:52:43 UTC