Erik Johnston b4ae3b0d44 Don't include appservice users when calculating push rules (#13332) ... This can cause a lot of extra load on servers with lots of appservice users. Introduced in #13078		2022-07-20 12:06:13 +01:00
..
.gitignore
13332.bugfix	Don't include appservice users when calculating push rules (#13332)	2022-07-20 12:06:13 +01:00