Merge pull request #3309 from ldir-EDB0/master
authorJo-Philipp Wich <redacted>
Fri, 15 Nov 2019 14:47:07 +0000 (15:47 +0100)
committerGitHub <redacted>
Fri, 15 Nov 2019 14:47:07 +0000 (15:47 +0100)
RFC - some language tweaks


Trivial merge
git clone https://git.99rst.org/PROJECT