w3c / push-api

Push API
https://w3c.github.io/push-api/
Other
145 stars 40 forks source link

fix: set to ArrayBuffer instead of BufferSource #310

Closed marcoscaceres closed 5 years ago

marcoscaceres commented 5 years ago

Fixes #290

I think this is an editorial mistake, not something we can really test for.

The following tasks have been completed:

Implementation commitment:


Preview | Diff