[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: 5f57c5903df41fb12df77142ec94c28a3e8ca7c9
  by Travis CI
https://github.com/WebBluetoothCG/web-bluetooth/commit/7649cb90a4f4a75ed3e91ade4d076ca344274406

Received on Thursday, 24 October 2019 17:10:24 UTC