reformat cherry-picked commit

This commit is contained in:
Dennis Luxen 2015-02-05 11:54:30 +01:00
parent d77a88c21e
commit f35fa0049c