On Fri, 22 Jan 1999, Thomas Gebhardt wrote: > shouldn't we mark #31824 (html2ps: can't execute) as critical? > html2ps does not work at all with this bug.
Not "critical" but "grave", since it "makes the package in question unuseable or mostly so". > Fortunately the bug > can be fixed by deleting an erroneous character in the script. I hope Brian will accept the fix, then. -- "e39e05de54d08bad06d9dbf728bff73d" (a truly random sig)