K 10 svn:author V 6 adridg K 8 svn:date V 27 2019-10-11T15:08:43.309963Z K 7 svn:log V 186 Restore @comment from r513194 that was lost in the 5.13 update. This file is nondeterministically generated; use a trick to deal with it. PR: 241198 Reported by: transitive@gmail.com END