Your message dated Fri, 20 Oct 2017 23:04:43 +0200
with message-id <871slxcyz8.fsf@gnu.org>
and subject line Re: bug#28745: [PATCH] tarballs generated on github are generated on demand (leading to different hash sums)
has caused the debbugs.gnu.org bug report #28745,
regarding tarballs generated on github are generated on demand (leading to different hash sums)
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
28745: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=28745
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems