[W3C Publication] Success: https://www.w3.org/TR/2017/WD-push-api-20170508/

On Mon May  8 16:28:00 UTC 2017, https://www.w3.org/TR/2017/WD-push-api-20170508/ has been published by the W3C automated publication system.

Echidna:   1.12.0
Specberus: 3.2.5
Job ID:    ce9c43d6-6de9-44d2-a227-84bca54f34e0
Decision:  https://github.com/w3c/push-api/issues/241

If you believe there's an error, please contact webreq@w3.org.

Received on Monday, 8 May 2017 16:28:06 UTC