- From: Marcos Cáceres <notifications@github.com>
- Date: Tue, 15 Jun 2021 18:25:35 -0700
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 16 June 2021 01:27:12 UTC
@marcoscaceres commented on this pull request.
> @@ -850,13 +847,9 @@ <h2>
<ol>
<li>Let |json:PushSubscriptionJSON| be a new {{PushSubscriptionJSON}} dictionary.
</li>
- <li>Set |json|["endpoint"] to the result of <a data-lt="get the underlying value">getting
- the underlying value</a> of the {{PushSubscription/endpoint}} attribute given this
- {{PushSubscription}} object.
+ <li>Set |json|["endpoint"] to [=getting the `endpoint` attribute=] of [=this=].
heh, yeah, it was a linguistic stretch. I'll update to "the result of".
--
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/330#discussion_r652279444
Received on Wednesday, 16 June 2021 01:27:12 UTC