K 10 svn:author V 3 flo K 8 svn:date V 27 2013-10-06T13:41:29.226456Z K 7 svn:log V 111 - merge r329470 by decke from mysql56 (head build fix) - merge r329549 by marino from mysql56 (use shebangfix) END