K 10 svn:author V 3 dim K 8 svn:date V 27 2015-07-29T14:07:29.413082Z K 7 svn:log V 113 Revert r286007-r286009 for now, until I can figure out how to make the fix compile with older gcc and libstdc++. END