K 10
svn:author
V 3
hsu
K 8
svn:date
V 27
2004-02-25T08:53:17.000000Z
K 7
svn:log
V 191
Relax a KASSERT condition to allow for a valid corner case where
the FIN on the last segment consumes an extra sequence number.

Spurious panic reported by Mike Silbersack <silby@silby.com>.

END