- From: Marcos Cáceres <notifications@github.com>
- Date: Wed, 01 Jun 2022 22:19:14 -0700
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 2 June 2022 05:19:26 UTC
@marcoscaceres commented on this pull request. > @@ -195,13 +195,16 @@ <h2> subscription</a> having the new keys as |newSubscription|. </p> <p> - To <dfn>create a push subscription</dfn>, given an <a>PushSubscriptionOptions</a> object - of |options|, the <a>user agent</a> must run the following steps: + To <dfn>create a push subscription</dfn>, given an {{PushSubscriptionOptionsInit}} + |optionsDictionary|: ```suggestion |optionsDictionary:PushSubscriptionOptionsInit|: ``` -- Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/pull/350#pullrequestreview-993003629 You are receiving this because you are subscribed to this thread. Message ID: <w3c/push-api/pull/350/review/993003629@github.com>
Received on Thursday, 2 June 2022 05:19:26 UTC