K 10
svn:author
V 6
sbruno
K 8
svn:date
V 27
2018-10-12T18:20:35.499296Z
K 7
svn:log
V 115
Setting DOCS=off will set EXTRA_PATCHES, so we need to append to this
variable, not clear it.

Submitted by:	tobik

END