K 10 svn:author V 8 brueffer K 8 svn:date V 27 2015-12-15T18:20:30.235949Z K 7 svn:log V 63 Revert a bad change from r47864 (my own doing, not in the PR). END