w3c/push-api — pull request #43 by mvano (2014-09-29 15:17:25+00:00)
Title: Delete concept of "push service extension". Run tidy.

This addresses issue #42.