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
..
main	Fix deleting of stale marker for device lists (#6819)	2020-01-31 14:04:15 +00:00
state	Add StateMap type alias (#6715)	2020-01-16 13:31:22 +00:00
__init__.py	Modify check_database to take a connection rather than a cursor	2020-01-09 18:05:50 +00:00