K 10
svn:author
V 6
emaste
K 8
svn:date
V 27
2018-04-04T17:45:05.327053Z
K 7
svn:log
V 199
Fix build: correct variable names on stable/10

r332032 merged r330356 from HEAD but did not account for a renamed
variable (of a different type) between stable/10 and HEAD.  Further
fix to r332036.

END