XUERUI YAN wrote:
> Hey Karl,
>
> Exactly it shows "An error occurred. Error was: No bug number" when we try
> to download the patch with wget/curl for this bug:
> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=30963#10
The following commands work for me:
wget
'https://debbugs.gnu.org/cgi/bugr
Hey Karl,
Exactly it shows "An error occurred. Error was: No bug number" when we try
to download the patch with wget/curl for this bug:
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=30963#10
And I did not see other link of bug patches downloading has the same issue.
Thanks!
Sincerely,
Xuerui
O
