Re: [push-api] Push service definition (#128)

> @@ -282,11 +282,11 @@
>            Push service
>          </h2>
>          <p>
> -          The term <dfn>push service</dfn> refers to an overall end-to-end system that allows
> -          <a title="application server">application servers</a> to send <a title=
> -          "push message">push messages</a> to a <a>webapp</a>. A push service has a server
> -          reachable at an associated endpoint. Such servers typically expose APIs specific to the
> -          <a>push service</a>, e.g. for <a>push message</a> delivery initiation.
> +          The term <dfn>push service</dfn> refers to system that allows

s/to system/to a system/

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