Merge pull request #5084 from annando/dead-subscriber
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sat, 19 May 2018 05:07:00 +0000 (07:07 +0200)
committerGitHub <noreply@github.com>
Sat, 19 May 2018 05:07:00 +0000 (07:07 +0200)
End subscription for unreachable subscribers


Trivial merge