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

Received on Monday, 19 November 2018 22:56:50 UTC