Push notifications fail for Android devices

The push notification system for Android devices works again.

The push notification messages don’t arrive on Android devices. We are investigating the issue.