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

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

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

More details are available here:

  https://labs.w3.org/echidna/api/status?id=45c7a5c7-60a5-4b17-b0f2-4d3d61e42847

~ 2019-7-14 02:37:09

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

Received on Sunday, 14 July 2019 02:37:11 UTC