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

Received on Friday, 20 March 2020 20:04:01 UTC