Verified Commit 04498b32 authored by Janne Heß's avatar Janne Heß
Browse files

Allow changing the amount of workers

parent d7463849