[ros-diffs] [weiden] 18179: don't remove mutants twice from the thread's mutant list in KeRundownThread(). This might fix bug 821