Daniel Gultsch 2018ae8ba0 fixed some r8 warnings		2020-05-03 22:09:31 +02:00
..
rocks/xmpp	fixed some r8 warnings	2020-05-03 22:09:31 +02:00