Remove distinction between StateFilter and RoomEventFilter (#2015)

They are exactly the same type, so let's combine their tables together.
This commit is contained in:
Richard van der Hoff 2024-11-27 16:11:39 +00:00 committed by GitHub
parent c5eac010be
commit f8119f5336
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 8 additions and 6 deletions

View file

@ -0,0 +1 @@
Remove distinction between `StateFilter` and `RoomEventFilter`.