The machine that did the updates was down for a couple of days, I just brought
it back up and did a manual update. Both kernels are up to date with the
head of the bk trees on bkbits.net.
--
---
Larry McVoy lm at bitmover.com http://www.bitkeeper.com