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

Received on Monday, 14 November 2016 10:20:31 UTC