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)
commit283a00bf2f883e1a45444d32f1ff9a5dde76d565
treef7bb5d727bfebc9d8e8fd00d96f7d5d01d6e4424
parentdc26e2d037504f3fcd3ce1947770fbce92d48241
parent9b266d11c6b5082c733f101326160cef797f6edf
Merge pull request #3309 from ldir-EDB0/master

RFC - some language tweaks