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