Re: Patch to fix GetThreadTimes() to work for all threads - fixes Bug 20230