PSA: publishing a new WD of Push API on October 7

Michael and the other Push API Editors intend to publish a new WD of 
Push API on or about October 7:

   <https://w3c.github.io/push-api/>

If anyone has any major concerns about this plan, please reply as such 
right away.

-Thanks, AB

Received on Thursday, 2 October 2014 20:33:11 UTC