Everything seems to be working fully, we were deploying an enhanced version of our notification service which resulted in minor issues with deliverability of push notifications. This was affecting a small portion of our user base.

We have a few users finding themselves missing push notifications on our platform. We are investigating to determine whether there is an issue with the platform at all.