K 10
svn:author
V 6
johans
K 8
svn:date
V 27
2018-02-15T10:15:46.224349Z
K 7
svn:log
V 85
Fix documentation build error (makeinfo)

PR:		222523
Submitted by:	1wkmmr@gmail.com

END