Florian Schmaus 431e5b3c67 Merge branch '4.2' into master-paul-merged		2017-12-17 11:16:02 +01:00
..
org/jivesoftware/smack	Merge branch '4.2' into master-paul-merged	2017-12-17 11:16:02 +01:00