tag 150014 + patch thanks And here is the patch to apply to /org/packages.debian.org/cgi-bin/download.pl on klecker.
--- download.pl.orig Fri Jun 14 14:08:29 2002 +++ download.pl Fri Jun 14 14:08:47 2002 @@ -311,5 +311,5 @@ print <<END; <p>Note that in some browsers you will need to tell your browser you want -the file saved to a file. For example, in Netscape you should hold the Shift +the file saved to a file. For example, in Mozilla you should hold the Shift key when you click on the URL. END -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]