K 10
svn:author
V 5
riggs
K 8
svn:date
V 27
2017-06-13T05:34:55.592546Z
K 7
svn:log
V 65
Fix build on HEAD

Submitted by:	dim, rhurlin@gwdg.de (via mail)

END