K 10
svn:author
V 3
pav
K 8
svn:date
V 27
2012-06-10T10:41:58.000000Z
K 7
svn:log
V 118
- Default OPTIONS value "no" now means "on", so change to "off"
- Mark heimdal variant BROKEN

Reported by:	pointyhat

END