Merge remote-tracking branch 'origin/stable-5' into HEAD
authorsfan5 <sfan5@live.de>
Sat, 12 Oct 2019 13:59:36 +0000 (15:59 +0200)
committersfan5 <sfan5@live.de>
Sat, 12 Oct 2019 13:59:36 +0000 (15:59 +0200)

Trivial merge