:Hi Matt,
:After upgrading to latest HEAD, the problem seems to be gone. Although. should
:it happen again, I will let you know.
:
:Petr
Ok. I'm pretty sure that particular problem was fixed. You must have
been running an older HEAD which was still undergoing transition.
-Matt
Matthew Dillon
<dillon at backplane.com>