PR #623 Don't mark devicelist dirty unnecessarily

Don't mark devicelist dirty unnecessarily #623

dbkr merged 1 commit into develop from dbkr/devicelist_is_too_dirty

Don't mark devicelist dirty unnecessarily

66e2b3bb

dbkr assigned

richvdh 7 years ago

richvdh approved these changes on 2018-03-07

richvdh unassigned

richvdh 7 years ago

richvdh assigned

dbkr 7 years ago

dbkr merged 0eb72122 into develop 7 years ago

t3chguy deleted the dbkr/devicelist_is_too_dirty branch 3 years ago

Reviewers

richvdh

Assignees

dbkr

Labels

None yet

Milestone

No milestone