15 Jan
2008
15 Jan
'08
9:27 a.m.
The attached patch fixes a couple of bugs (one of which could put the system into an infinite loop under some circumstances), and adds some documentation.
I hope someone can apply it to the repository, assuming it looks okay.
Robin