Jenkins 0b634ed5b3 Merge "Clean up deprecated configuration options"		2017-02-01 12:00:20 +00:00
..
notes	Merge "Clean up deprecated configuration options"	2017-02-01 12:00:20 +00:00
source	Enable release notes translation	2016-10-06 20:27:32 +02:00