[web-bluetooth] new commits pushed by jyasskin

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

* Update references for changes to other specs.

The biggest change was that "associated PermissionDescriptor" changed 
to
"permission descriptor type".
  by Jeffrey Yasskin
https://github.com/WebBluetoothCG/web-bluetooth/commit/901a3e2eb0c04c62f632d7864cb8a219f902ad83

* Remove mention of monkeypatching PermissionName.

The primary definition at
https://w3c.github.io/permissions/#enumdef-permissionname now includes
"bluetooth".
  by Jeffrey Yasskin
https://github.com/WebBluetoothCG/web-bluetooth/commit/7fac670f1d1aa2301ae11d663e3094451bf3532f

Received on Friday, 22 April 2016 20:17:21 UTC