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

Received on Monday, 19 November 2018 22:54:27 UTC