Merge remote-tracking branch 'origin/stable-5' into HEAD stable-5
authorsfan5 <sfan5@live.de>
Sun, 5 Apr 2020 16:44:51 +0000 (18:44 +0200)
committersfan5 <sfan5@live.de>
Sun, 5 Apr 2020 16:44:51 +0000 (18:44 +0200)

Trivial merge