[w3c/push-api] fix: set to ArrayBuffer instead of BufferSource (#310)

Fixes #290 

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

The following tasks have been completed:

 * [ ] Modified Web platform tests (link to pull request)

Implementation commitment:

 * [ ] WebKit (https://bugs.webkit.org/show_bug.cgi?id=)
 * [ ] Chromium (https://bugs.chromium.org/p/chromium/issues/detail?id=)
 * [ ] Gecko (https://bugzilla.mozilla.org/show_bug.cgi?id=)

You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/push-api/pull/310

-- Commit Summary --

  * fix: set to ArrayBuffer instead of BufferSource

-- File Changes --

    M index.html (2)

-- Patch Links --

https://github.com/w3c/push-api/pull/310.patch
https://github.com/w3c/push-api/pull/310.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/310

Received on Monday, 15 July 2019 07:12:28 UTC