There was a push server outage on push.monal.im for a few hours this weekend. It was my mistake while upgrading components. I will be more careful in the future. Obviously no messaging traffic goes through this server so there was no data loss. Some people may not have reliably received new message notifications this weekend.