[Echidna] ✔️ Success: https://www.w3.org/TR/2019/WD-push-api-20190717/

• From: Echidna <sysbot+echidna@w3.org>
• Date: Wed, 17 Jul 2019 16:24:45 +0000
• To: public-tr-notifications@w3.org, mcaceres@mozilla.com
• Message-ID: <f8fede82-c10f-e402-f332-a04430c07626@w3.org>

✔️ Echidna just published “Push API”
  (WD-push-api-20190717), a WD:

  👍 https://www.w3.org/TR/2019/WD-push-api-20190717/

More details are available here:

  https://labs.w3.org/echidna/api/status?id=a5c035cd-57b3-46f9-b1f5-3d51a0a5b3ca

~ 2019-7-17 16:24:45

-- 
Echidna 1.14.3 (Specberus 4.1.1)
Copyright © 2014–2018 W3C — https://www.w3.org/

Received on Wednesday, 17 July 2019 16:24:47 UTC