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

beverloo approved this pull request.

Yeah, this is an oversight. Thank you for spotting this Rayan!



-- 
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-262423347

Received on Tuesday, 16 July 2019 13:40:40 UTC