K 10
svn:author
V 2
gj
K 8
svn:date
V 27
2008-06-17T11:50:58.000000Z
K 7
svn:log
V 78
Update to version 9.7.

While I'm here, fix handling of the NOPORTSDOCS case.

END