Merge pull request #6940 from annando/fix-notif
authorPhilipp <admin+Github@philipp.info>
Tue, 26 Mar 2019 22:26:10 +0000 (23:26 +0100)
committerGitHub <noreply@github.com>
Tue, 26 Mar 2019 22:26:10 +0000 (23:26 +0100)
Notifications do work now again


Trivial merge