21 Apr
2008
21 Apr
'08
8:25 p.m.
I wrote:
Interestingly, at least part of the bug that prompted the discussion is not present in the version from Martin Erwig's homepage.
Never mind. The bug is present, I just remembered it wrong.
If the maintainer times out (possible here), we can declare it orphaned, and its free game.
Fair enough.
I've contacted Martin Erwig now, and left a comment to that effect on the Trac ticket. regards, Bertram