[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: 4ca7ccbcfc5d2d37e9e026c73be99eb5837d2256
  by Travis CI
https://github.com/WebBluetoothCG/web-bluetooth/commit/0324f6343d048e0e40369427b0fe126cf8216727

Received on Tuesday, 11 February 2020 20:50:48 UTC