Kill worker(s) w/ UI button in "workers" and "working" views#71
Open
mperejda wants to merge 3 commits into
Open
Kill worker(s) w/ UI button in "workers" and "working" views#71mperejda wants to merge 3 commits into
mperejda wants to merge 3 commits into