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

Received on Monday, 20 August 2018 07:02:26 UTC