Merge pull request #536 from annando/issue-1312-b
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Mon, 19 Feb 2018 15:11:45 +0000 (16:11 +0100)
committerGitHub <noreply@github.com>
Mon, 19 Feb 2018 15:11:45 +0000 (16:11 +0100)
Missed "use"


Trivial merge