K 10 svn:author V 3 mav K 8 svn:date V 27 2013-10-16T12:15:33.671718Z K 7 svn:log V 71 Oops, fix for r256622: put THREAD_NO_SLEEPING() into the better place. END