Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Fix deleting of stale marker for device lists #6819

Merged
merged 2 commits into from
Jan 31, 2020
Merged

Fix deleting of stale marker for device lists #6819

merged 2 commits into from
Jan 31, 2020

Commits on Jan 31, 2020

  1. Fix deleting of stale marker for remote device lists 

    We were in fact only deleting stale marker when we got an incremental
update, rather than when we did a full resync.
    @erikjohnston
    erikjohnston committed Jan 31, 2020
    Configuration menu
    Copy the full SHA
    cdc9ce2 View commit details
    Browse the repository at this point in the history

  2. Newsfile

    @erikjohnston
    erikjohnston committed Jan 31, 2020
    Configuration menu
    Copy the full SHA
    073c110 View commit details
    Browse the repository at this point in the history