K 10 svn:author V 6 ehaupt K 8 svn:date V 27 2013-07-24T08:19:07.059643Z K 7 svn:log V 44 Remove MAKE_JOBS_SAFE which is now default. END