K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2017-07-26T21:59:37.114138Z
K 7
svn:log
V 117
Correctly use the size of a pointer rather than that of a pointer to a
pointer.

Reported by:	Coverity
CID:		1378432

END