Darshit Shah <[email protected]> writes:

> @Giuseppe: It's upto you to decide if #709637 should be a blocking
> bug. The logs do
> seem to show an error on Wget's part, but I haven't had a chance to
> create an isolated
> test case for it yet. With all the headers available, it shouldn't be
> too great an issue.

Given that there is a workaround for it and that it is so difficult to
reproduce, I wouldn't consider it as a blocking issue.  I'll try to
reproduce it on my machine now.

Giuseppe

Reply via email to