Revert "Remove merge-coverage and explicit parallel option (#163)"#166
Merged
kategengler merged 2 commits intomasterfrom Mar 24, 2018
Merged
Revert "Remove merge-coverage and explicit parallel option (#163)"#166kategengler merged 2 commits intomasterfrom
kategengler merged 2 commits intomasterfrom