Lukas Eder 9053f74de3 Merge pull request #7052 from er1c/scala-deprecation ... [7051] Fix generated scala deprecation warning		2018-01-15 10:32:52 +01:00
..
main	Merge pull request #7052 from er1c/scala-deprecation	2018-01-15 10:32:52 +01:00