Merge pull request #3309 from ldir-EDB0/master
authorJo-Philipp Wich <jo@mein.io>
Fri, 15 Nov 2019 14:47:07 +0000 (15:47 +0100)
committerGitHub <noreply@github.com>
Fri, 15 Nov 2019 14:47:07 +0000 (15:47 +0100)
RFC - some language tweaks


Trivial merge