I've checked in that patch (as posted to the list on 12 Feb 2001).

George, you'll need to close out the patch in the sourceforge patch
manager.  I don't seem to have access to do so.

Reply via email to