bug#43438: closed ([PATCH] gnu: Fix fetching the linux-libre deblobbing script.)

[GNU bug Tracking System]

Your message dated Tue, 15 Sep 2020 23:23:26 -0400
with message-id <20200916032326.GA16229@jasmine.lan>
and subject line Re: [PATCH] gnu: Fix fetching the linux-libre deblobbing 
script.
has caused the debbugs.gnu.org bug report #43438,
regarding [PATCH] gnu: Fix fetching the linux-libre deblobbing script.
to be marked as done.

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


-- 
43438: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=43438
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: Fix fetching the linux-libre deblobbing script.
>
>
>
>
> Date: 
>
> Tue, 15 Sep 2020 21:05:22 -0400
>
>
>
>
> This is a followup to commit 105a037090d9a970a2c2336341d6673eff29e4cf.
>
> * gnu/packages/linux.scm (linux-libre-deblob-scripts): Truncate the version in
> the file-name, not the source URI.
> ---
>  gnu/packages/linux.scm | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
> index 59ffb334e0..2e47b81cf6 100644
> --- a/gnu/packages/linux.scm
> +++ b/gnu/packages/linux.scm
> @@ -195,9 +195,9 @@ defconfig.  Return the appropriate make target if 
> applicable, otherwise return
>            (method url-fetch)
>            (uri (string-append "https://linux-libre.fsfla.org";
>                                "/pub/linux-libre/releases/" version "-gnu/"
> -                              "deblob-" version))
> +                              "deblob-" (version-major+minor version)))
>            (file-name (string-append "linux-libre-deblob-"
> -                                    (version-major+minor version)))
> +                                    version))
>            (sha256 deblob-hash))
>          (origin
>            (method url-fetch)
> -- 
> 2.28.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [PATCH] gnu: Fix fetching the linux-libre deblobbing script.
>
>
>
>
> Date: 
>
> Tue, 15 Sep 2020 23:23:26 -0400
>
>
>
>
> Pushed as cca5720f410ce01e2b3ed7e4fde593e118f08f07
>
>
> --- End Message ---