Merge release back into master #1973

Merged
neb-b merged 8 commits from release.0.25.1 into master 2018-09-19 01:07:37 +02:00
Showing only changes of commit 2247822592 - Show all commits