[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: 0c85d2540d173a1bc5778efd86d3382fa8720962
  by Travis CI
https://github.com/WebBluetoothCG/web-bluetooth/commit/263fa94f53e8110014e378f65d97c6139658be1a

Received on Thursday, 10 January 2019 19:58:32 UTC