Richard van der Hoff eb9ccc3f31 Remove redundant loads of stream_ordering for events ... If we already have the event, we already have its stream ordering.		2020-10-02 14:56:05 +01:00
..
__init__.py	Remove redundant loads of stream_ordering for events	2020-10-02 14:56:05 +01:00
_base.py	…
devices.py	…
event_reports.py	…
groups.py	…
media.py	…
purge_room_servlet.py	…
rooms.py	…
server_notice_servlet.py	…
users.py	…