W3C home > Mailing lists > Public > public-tr-notifications@w3.org > June 2017

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

From: <webreq@w3.org>
Date: Wed, 21 Jun 2017 15:37:13 +0000
To: public-tr-notifications@w3.org
Message-Id: <E1dNhgv-0000ub-2W@owl.w3.org>
On Wed Jun 21 15:37:13 UTC 2017, https://www.w3.org/TR/2017/WD-push-api-20170621/ has been published by the W3C automated publication system.

Echidna:   1.12.0
Specberus: 3.2.5
Job ID:    2aaf0965-c328-4ee8-abb7-3c7d7fd50b3f
Decision:  https://github.com/w3c/push-api/issues/241

If you believe there's an error, please contact webreq@w3.org.
Received on Wednesday, 21 June 2017 15:37:19 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 21 June 2017 15:37:19 UTC