Cleanup: minor refactoring around DeviceTask

This commit is contained in:
2020-06-05 11:39:11 +02:00
parent b7c34c889b
commit ace3268482
23 changed files with 129 additions and 108 deletions

View File

@@ -31,6 +31,7 @@
#include "util/util_murmurhash.h"
#include "util/util_progress.h"
#include "util/util_set.h"
#include "util/util_task.h"
#include "util/util_vector.h"
#include "subd/subd_patch_table.h"