Editorial: don't exclude Permissions IDL

WebAudio / web-midi-api

The Web MIDI API, developed by the W3C Audio WG

http://webaudio.github.io/web-midi-api/

Other

323 stars 49 forks source link

Closed marcoscaceres closed 2 years ago

marcoscaceres commented 2 years ago

PR that removes it from the Permissions spec: https://github.com/w3c/permissions/pull/304