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)
commit403114fd3587f642ebf099449223c26e5edf58da
treee1436f8bb5275adaa8297d9faa4b375fd1782f6d
parent75c79647f8f6a63698cc6e12500b50cd0303564b
parent27222a7e3ba79cd8639073a7a8489fab2dccf806
Merge pull request #419 from annando/bad-retriever

Retriever is deactivated, see issue 3482