Publishing new WD of Push API

Hi Push API Editors,

It appears the differences between the latest Push API ED [ED] and the 
last Technical Report [TR] are substantive enough to warrant a new WD 
publication. WDYT? If you agree, I'll start a PSA and prepare the WD for 
publication on April 30. Please let me know.

Also, I see some commits from "Miguel Garcia" (f.ex. [MG]). Who is 
Miguel's employer? Miguel is not a member of WebApps [Partic].

-Thanks, Art

[ED] http://w3c.github.io/push-api/
[TR] http://www.w3.org/TR/2014/WD-push-api-20141007/
[MG] 
https://github.com/w3c/push-api/commits/gh-pages?author=miguelgarciaarribas
[Partic] https://www.w3.org/2000/09/dbwg/details?group=42538

Received on Monday, 27 April 2015 12:42:07 UTC