bug#42789: closed (Linux-libre 'deblob-check' file-names do not include a version number)

[GNU bug Tracking System]

Your message dated Fri, 21 Aug 2020 18:02:19 -0400
with message-id <20200821220219.GA7057@jasmine.lan>
and subject line Re: Linux-libre 5.8 and beyond
has caused the debbugs.gnu.org bug report #42789,
regarding Linux-libre 'deblob-check' file-names do not include a version number
to be marked as done.

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


-- 
42789: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=42789
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: Linux-libre 5.8 and beyond
>
>
>
>
> Date: 
>
> Sun, 9 Aug 2020 21:59:31 -0400
>
>
>
>
> On Sun, Aug 09, 2020 at 06:17:48PM -0400, Mark H Weaver wrote:
> > If the file name and hash matches a previously downloaded file in your
> > store, the guix daemon uses that one and skips the download, regardless
> > of the URL.  That's why no error was reported.  There's no version
> > number in the file name of the 'deblob-check' file.
>
> We should try to make these files include the version number to avoid
> this kind of mistake in the future.
>
> I've CC-ed bug-guix so that we don't forget.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: Linux-libre 5.8 and beyond
>
>
>
>
> Date: 
>
> Fri, 21 Aug 2020 18:02:19 -0400
>
>
>
>
> On Wed, Aug 12, 2020 at 05:34:21PM -0400, Mark H Weaver wrote:
> > Leo Famulari <leo@famulari.name> wrote:
> > 
> > > I've pushed an updated patch to the kernel-updates branch:
> > > 
> > > https://git.savannah.gnu.org/cgit/guix.git/commit/?h=kernel-updates&id=387446c93261868bd4c4188687b508aa0a2da7e8
> > 
> > Looks good to me.  Thank you!
>
> Pushed as 1bc275034fe8070c720ca341db2d9588480aa044
>
>
> --- End Message ---