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

Received on Wednesday, 23 October 2019 18:33:41 UTC