Daniel Gultsch 7557de5479 use java 8 in push management service		2018-02-25 14:39:55 +01:00
..
services	use java 8 in push management service	2018-02-25 14:39:55 +01:00
ui/service	use emoji compat	2017-09-29 19:44:30 +02:00