K 10
svn:author
V 6
tuexen
K 8
svn:date
V 27
2016-02-17T18:04:22.971496Z
K 7
svn:log
V 58
Code cleanup which will silence a warning in PVS / D5245.

END