Client API v1.2.4

• Fixed an issue which was preventing some devices from receiving push notifications.
  This issue was temporarily fixed on 26-06-2020 around 19:00, but has now made it's way into an official release.