Re: [push-api] Rewriting push event handling; allowing data to be optional. (#166)

> @@ -816,36 +816,56 @@
>            </dt>
>          </dl>
>          <p>
> -          Upon receiving a <a>push message</a> for a <a>push subscription</a> from the <a>push
> -          service</a> the <a>user agent</a> MUST run the following steps:
> +          Upon receiving a <a>push message</a> from the <a>push service</a> the <a>user agent</a>

micro nit: having a comma after `push service` makes the sentence a bit easier to read.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/166/files#r42140959