Only push delete-push to devices that also got the notification#937

nickvergessen merged 1 commit intomasternextcloud/notifications:masterfrom

bugfix/noid/reduce-delete-push-spamnextcloud/notifications:bugfix/noid/reduce-delete-push-spamCopy head branch name to clipboard