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

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

From: <webreq@w3.org>
Date: Fri, 15 Dec 2017 23:41:50 +0000
To: public-tr-notifications@w3.org
Message-Id: <E1ePzby-00040P-7b@owl.w3.org>
On Fri Dec 15 23:41:50 UTC 2017, https://www.w3.org/TR/2017/WD-push-api-20171215/ has been published by the W3C automated publication system.

Echidna:   1.12.4
Specberus: 3.4.3
Job ID:    f8aabe6d-110a-4b8d-b264-e66a6712f6e1
Decision:  https://github.com/w3c/push-api/issues/241

If you believe there's an error, please contact webreq@w3.org.
Received on Friday, 15 December 2017 23:41:55 UTC

This archive was generated by hypermail 2.3.1 : Friday, 15 December 2017 23:41:56 UTC