Erik Johnston f502b0dea1 Perf: Don't filter events for push
We know the users are joined and we can explicitly check for if they are
ignoring the user, so lets do that.
2017-07-07 14:04:40 +01:00
..
2017-04-05 14:15:09 +01:00
2017-07-07 14:04:40 +01:00
2017-07-04 09:58:32 +01:00
2017-07-06 10:35:56 +01:00
2017-01-17 14:32:53 +00:00
2017-05-31 11:51:01 +01:00
2016-08-08 16:40:39 +01:00
2017-07-04 09:56:44 +01:00
2017-05-31 14:29:32 +01:00