I attach the two patches, both apply (with some fuzzyness) to current
sources in TeX Live.I agree with Peter. I installed the second patch. Thanks, Mathias and all! karl -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
