22 Apr
2008
22 Apr
'08
12:25 a.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