Re: [w3c/push-api] Expose pushManager on Navigator (PR #368)

Thanks for writing this up Marcos.  I'm going to probably step aside on this one and defer to @saschanaz.  Both of us are about to go on some leave, so I hope you don't mind if this takes a little while.

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

Message ID: <w3c/push-api/pull/368/c1856808519@github.com>

Received on Thursday, 14 December 2023 22:28:23 UTC