K 10 svn:author V 3 bhd K 8 svn:date V 27 2015-08-28T15:17:30.605615Z K 7 svn:log V 85 Update to r41159: Remove duplicate index entry, which is repeated a few lines above END