K 10 svn:author V 3 bcr K 8 svn:date V 27 2020-03-16T14:38:17.501705Z K 7 svn:log V 80 Remove trailing whitespace from line endings in two places. No content changes. END