K 10 svn:author V 6 davide K 8 svn:date V 27 2013-09-20T23:10:52.244825Z K 7 svn:log V 125 Remove local change leftover, this should never have been part of r255745. Pointy-hat to: davide Approved by: re (implicit) END