Merge pull request #5298 from wvdakker/master
authorHannu Nyman <redacted>
Mon, 18 Dec 2017 14:52:03 +0000 (16:52 +0200)
committerGitHub <redacted>
Mon, 18 Dec 2017 14:52:03 +0000 (16:52 +0200)
Fixed double/missing entry in path.


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