Merge pull request #419 from annando/bad-retriever
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sat, 19 Aug 2017 10:17:00 +0000 (12:17 +0200)
committerGitHub <noreply@github.com>
Sat, 19 Aug 2017 10:17:00 +0000 (12:17 +0200)
Retriever is deactivated, see issue 3482


Trivial merge