Merge pull request #3139 from annando/issue-3135
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Tue, 31 Jan 2017 06:30:15 +0000 (07:30 +0100)
committerGitHub <noreply@github.com>
Tue, 31 Jan 2017 06:30:15 +0000 (07:30 +0100)
Issue 3135: dbupdate is started again and again


Trivial merge