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

Received on Thursday, 30 April 2020 17:33:19 UTC