Merge remote-tracking branch 'origin/devel' into devel

This commit is contained in:
Gina Häußge 2015-09-28 13:02:38 +02:00
commit f3e242d3a0

File diff suppressed because one or more lines are too long