Merge pull request #5598 from annando/issue-3838
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sat, 11 Aug 2018 05:48:33 +0000 (07:48 +0200)
committerGitHub <noreply@github.com>
Sat, 11 Aug 2018 05:48:33 +0000 (07:48 +0200)
Added a note concerning the question how to fix issue 3838


Trivial merge