K 10 svn:author V 6 marino K 8 svn:date V 27 2014-10-10T00:05:00.518258Z K 7 svn:log V 48 devel/devtodo: Fix with gcc by adding END