[web-bluetooth] new commits pushed by jyasskin

The following commits were just pushed by jyasskin to 
https://github.com/WebBluetoothCG/web-bluetooth:

* Integrate with the Permissions API. (#228)

This exclusively uses the Permissions API's structures to record 
whether
a site has permission to use a device. These will get updated better 
as
the platform changes/refines its permission design.

The Permissions public algorithms don't handle revocation quite right
yet, so this patch calls into some of the private ones.

Fixes #164.
  by Jeffrey Yasskin
https://github.com/WebBluetoothCG/web-bluetooth/commit/7c135fb1b800a1376e631f54b66d9519f9d9c296

Received on Wednesday, 20 April 2016 19:55:17 UTC