Merge pull request #3740 from rabuzarus/20170927_-_add_comment
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Wed, 27 Sep 2017 12:52:18 +0000 (14:52 +0200)
committerGitHub <noreply@github.com>
Wed, 27 Sep 2017 12:52:18 +0000 (14:52 +0200)
add a comment as explanation for #3737


No differences found