Erik Johnston 83b0ea047b Fix deleting of stale marker for device lists (#6819) ... We were in fact only deleting stale marker when we got an incremental update, rather than when we did a full resync.		2020-01-31 14:04:15 +00:00
..
schema	…
__init__.py	…
account_data.py	…
appservice.py	…
cache.py	…
client_ips.py	…
deviceinbox.py	…
devices.py	Fix deleting of stale marker for device lists (#6819)	2020-01-31 14:04:15 +00:00
directory.py	…
e2e_room_keys.py	…
end_to_end_keys.py	…
event_federation.py	…
event_push_actions.py	…
events.py	…
events_bg_updates.py	…
events_worker.py	…
filtering.py	…
group_server.py	…
keys.py	…
media_repository.py	…
monthly_active_users.py	…
openid.py	…
presence.py	…
profile.py	…
push_rule.py	…
pusher.py	…
receipts.py	…
registration.py	…
rejections.py	…
relations.py	…
room.py	…
roommember.py	…
search.py	…
signatures.py	…
state.py	…
state_deltas.py	…
stats.py	…
stream.py	…
tags.py	…
transactions.py	…
user_directory.py	…
user_erasure_store.py	…