On Fri, 10 Aug 2007 20:21:07 -0400, Osei Poku <opoku(a)ece.cmu.edu> wrote:
> Patch attached. Naturally comments welcome.
Thanks for the patch which is in the new release. It took me a bit
longer to apply it as it wasn't complete - the HTML docs were missing.
http://weitz.de/patches.html
Cheers,
Edi.
