K 10
svn:author
V 2
gj
K 8
svn:date
V 27
2007-06-05T08:40:56.000000Z
K 7
svn:log
V 109
Update to 9.5r.

The two patches are deleted because the problem which they handled has
been fixed upstream.

END