K 10
svn:author
V 6
brooks
K 8
svn:date
V 27
2016-10-25T02:14:14.148734Z
K 7
svn:log
V 110
Apply a patch from upstream to (hopefully) fix a race in documentation
builds.

PR:		213619
Reported by:	many

END