[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: 6832a6670c9168e4a9c0933323fe6f233af6fcae
  by Travis CI
https://github.com/WebBluetoothCG/web-bluetooth/commit/2b7de2cc232835817e5133f277b20958e5b3427d

Received on Monday, 10 December 2018 19:01:14 UTC