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

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

  👍 https://www.w3.org/TR/2022/WD-push-api-20220602/

More details are available here:

  https://labs.w3.org/echidna/api/status?id=4ef2137a-c2cf-48e0-a73c-456beb4712ad

~ 6/2/2022, 6:36:58 AM

-- 
Echidna 3.1.15 (Specberus [object Promise])
Copyright © 2022 W3C — https://www.w3.org/

Received on Thursday, 2 June 2022 06:36:59 UTC