Teach merge_results.py to be able to ignore results of a particular type exceeding the specified standard deviation threshold.
Teach merge_results.py to be able to ignore results of a particular
type exceeding the specified standard deviation threshold.

symbooglix/boogie-runner,symbooglix/boogie-runner