[Echidna] ✔️ Success: https://www.w3.org/TR/2019/WD-push-api-20190724/ from Echidna on 2019-07-24 (public-tr-notifications@w3.org from July 2019)

From: Echidna <sysbot+echidna@w3.org>
Date: Wed, 24 Jul 2019 04:18:06 +0000
To: public-tr-notifications@w3.org, mcaceres@mozilla.com
Message-ID: <a581a9ad-edf8-d5e3-5db3-6bcd95951858@w3.org>

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

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

More details are available here:

  https://labs.w3.org/echidna/api/status?id=5a1ac96b-2e95-4997-9880-3d37c1a7de8b

~ 2019-7-24 04:18:06

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

Received on Wednesday, 24 July 2019 04:18:07 UTC