Skip to content

Fix: Use the user-provided max_workers when fetching batched results#175

Merged
licedric merged 1 commit intomainfrom fix/batch-max-workersNov 24, 2020

Commits

Commits on Nov 24, 2020