Subject: Re: bug#31753: Acknowledgement ([PATCH] gnu: Fix url in jbig2dec.)

From: Gábor Boskovits <[email-masked]>
Date: Fri, 8 Jun 2018 10:55:15 +0200

Just to provide a bit more context:
The tarball was removed form the previous url. A puppet "pageok" is served
there.
This new url is the one referenced on the official site.
The hash of the tarball matches the original, so no rebuilds will occur. It
is safe do this on master.
Rekado mentioned on IRC, that we should aim to get rid of github urls, but
I don't know if we can
do here better.
This is not a github autogenerated tarball, so it will not produce
reproducibility problems.

2018-06-08 10:50 GMT+02:00 GNU bug Tracking System <[email-masked]>:

> Thank you for filing a new bug report with debbugs.gnu.org.
>
> This is an automatically generated reply to let you know your message
> has been received.
>
> Your message is being forwarded to the package maintainers and other
> interested parties for their attention; they will reply in due course.
>
> Your message has been sent to the package maintainer(s):
>  [email-masked]
>
> If you wish to submit further information on this problem, please
> send it to [email-masked].
>
> Please do not send mail to [email-masked] unless you wish
> to report a problem with the Bug-tracking system.
>
> --
> 31753: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31753
> GNU Bug Tracking System
> Contact [email-masked] with problems
>