device: Replace query_count
parameter in get_query_pool_results
with data.len()
#644
Merged
MarijnS95 merged 1 commit intomasterfrom remove-query-countJul 29, 2022
+2-8
query_count
parameter in get_query_pool_results
with data.len()
#644