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
..
2016-06-07 15:07:11 +01:00
2017-05-22 17:48:58 +01:00
2017-06-23 15:15:18 +02:00
2017-05-22 17:48:58 +01:00
2017-06-06 11:50:07 +01:00
2017-05-22 17:48:58 +01:00
2016-01-07 04:26:29 +00:00