Just found out that google is going to kill GCM (1st April 2019 - surely not a joke?). Presumably that will affect our Android push notifications. Changes don’t seem excessive, and it seems we can still use our old GCM registrations so may be limited to server side for the moment? @Michael are you aware of this issue? Regards, Mark.