Re: general/2831: download file name is WRONG

[marc]

Synopsis: download file name is WRONG

State-Changed-From-To: open-closed
State-Changed-By: marc
State-Changed-When: Tue Aug 11 11:11:06 PDT 1998
State-Changed-Why:
The filename is fine, it is your browser that is broken.
IE and Navigator have various bugs relating to this that
make them needlessly and foolishly mangle filenames.