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

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

  👍 https://www.w3.org/TR/2021/WD-push-api-20211027/

More details are available here:

  https://labs.w3.org/echidna/api/status?id=770183b3-cf02-45a4-ab68-bd2c6ba9faed

~ 10/27/2021, 4:57:02 AM

-- 
Echidna 3.0.17 (Specberus 5.8.0)
Copyright © 2014–2020 W3C — https://www.w3.org/

Received on Wednesday, 27 October 2021 04:57:03 UTC