Johannes Mockenhaupt 33b66e2ce7 Revert "Merge pull request #1131 from jotomo/901" ... This reverts commit 268dec0059, reversing changes made to ab41541c69.		2018-06-29 22:43:54 +02:00
..
java/info	Revert "Merge pull request #1131 from jotomo/901"	2018-06-29 22:43:54 +02:00