Re: [w3c/push-api] Change PushSubscriptionChangeInit to PushSubscriptionChangeEventInit. (#312)

marcoscaceres commented on this pull request.

This is a good change actually. Makes things easier to find when searching browsers code. It won’t have any effect on userland code.... but may require some c++ refactoring in various engines.  



-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/312#pullrequestreview-262421443

Received on Tuesday, 16 July 2019 13:37:51 UTC