bug#38329: closed ([PATCH 2/2] gnu: polyml: Use HTTPS home page URI.)

[GNU bug Tracking System]

Your message dated Fri, 22 Nov 2019 23:04:09 +0100
with message-id <87wobr7eli.fsf@nckx>
and subject line Re: [bug#38328] [bug#38329] 
has caused the debbugs.gnu.org bug report #38329,
regarding [PATCH 2/2] gnu: polyml: Use HTTPS home page URI.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
38329: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38329
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 2/2] gnu: polyml: Use HTTPS home page URI.
>
>
>
>
> Date: 
>
> Fri, 22 Nov 2019 15:25:38 -0600
>
>
>
>
> >From cf2373e97c26838892b2a9e1bd300e73616a2a4d Mon Sep 17 00:00:00 2001
> From: Brett Gilio <address@hidden>
> Date: Fri, 22 Nov 2019 15:24:13 -0600
> Subject: [PATCH 2/2] gnu: polyml: Use HTTPS home page URI.
>
> * gnu/packages/sml.scm (polyml)[home-page]: Use HTTPS URI.
> ---
>  gnu/packages/sml.scm | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm
> index fd1ba4a539..30ee58c498 100644
> --- a/gnu/packages/sml.scm
> +++ b/gnu/packages/sml.scm
> @@ -66,7 +66,7 @@
>                           make-flags)
>                     make-flags))
>               (apply system* "make" (append flags (list "compiler"))))))))
> -    (home-page "http://www.polyml.org/";)
> +    (home-page "https://www.polyml.org/";)
>      (synopsis "Standard ML implementation")
>      (description "Poly/ML is a Standard ML implementation.  It is fully
>  compatible with the ML97 standard.  It includes a thread library, a foreign
> -- 
> 2.24.0
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#38328] [bug#38329] Date: Fri, 22 Nov 2019 23:04:09 +0100

Brett,

Brett Gilio 写道：

[PATCH 1/2] gnu: polyml: Update to 5.8.
[PATCH 2/2] gnu: polyml: Use HTTPS home page URI.

Pushed as 8717fb8d5f30915999869e80782ae0fcf1c6698d et al.

You opened two separate bugs for this series, which was probably not your intention.

You can avoid this by sending a ‘cover letter’ (which can be whatever you want) to guix-patches@, waiting for the response, and then doing something like ‘git send-email to=address@hidden …’ to send the actual patches.

Thanks!

T G-R

signature.asc
Description: PGP signature

--- End Message ---