On Mon, Aug 09, 2004, Alexander R. Pruss wrote: > It will be very easy to issue a patch for this.
Yes, a few lines of code added to UnDoc and UnZip. I think we should provide patched versions of 1.6 and 1.8. Older versions could be created on request. /Mike _______________________________________________ plucker-dev mailing list [EMAIL PROTECTED] http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
