w3c/push-api — pull request #99 by mvano (2014-12-15 17:53:34+00:00)
Title: Rename PushRegistrationManager to PushManager.

issue #47