[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: 58705c1d6714ff0e7f433146df6f15402aa87002
  by Travis CI
https://github.com/WebBluetoothCG/web-bluetooth/commit/884e2490a6d7fcd22b87795554404f81cbf21b23

Received on Monday, 11 May 2020 18:01:35 UTC