3 Commits

Author	SHA1	Message	Date
Michael Zanetti	f8bcd3d6e0	Use a better device name for registering push notifications	2018-12-19 14:03:14 +01:00
Michael Zanetti	0796c08fbd	switch to using ANDROID_ID instead of IMEI to identify a device across app installs	2018-09-20 14:55:08 +02:00
Michael Zanetti	152354d75f	add a platform helper	2018-09-19 13:03:46 +02:00