On 10/2/14 4:32 PM, Arthur Barstow wrote:
Michael and the other Push API Editors intend to publish a new WD of Push API on or about October 7:
FYI, a WD was published: <http://www.w3.org/TR/2014/WD-push-api-20141007/> Thanks Michael!
- PSA: publishing a new WD of Push API on October 7 Arthur Barstow
- Re: PSA: publishing a new WD of Push API on October 7 Arthur Barstow
