K 10
svn:author
V 3
cmt
K 8
svn:date
V 27
2019-08-29T21:14:21.436872Z
K 7
svn:log
V 58
fix DOCS=off build

PR:		240181
Reported by:	romain@, vvd

END