K 10 svn:author V 3 jhb K 8 svn:date V 27 2000-11-07T00:44:24.000000Z K 7 svn:log V 122 Remove an unneeded #include that snuck in accidentally with the MI mutexes. Submitted indirectly by: bde END