K 10 svn:author V 3 flo K 8 svn:date V 27 2013-10-06T13:42:49.363692Z K 7 svn:log V 56 - merge r329549 by marino from mysql55 (use shebangfix) END