bug#55534: closed ([PATCH] gnu: smlnj: Use HTTPS home page.)

[GNU bug Tracking System]

Your message dated Wed, 01 Jun 2022 23:23:43 +0200
with message-id <87a6awrsbk.fsf@gnu.org>
and subject line Re: bug#55534: [PATCH] gnu: smlnj: Use HTTPS home page.
has caused the debbugs.gnu.org bug report #55534,
regarding [PATCH] gnu: smlnj: Use HTTPS home page.
to be marked as done.

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


-- 
55534: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=55534
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: smlnj: Use HTTPS home page.
>
>
>
>
> Date: 
>
> Fri, 20 May 2022 04:09:56 +0000
>
>
>
>
> * gnu/packages/sml.scm (smlnj)[home-page]: Use HTTPS.
> ---
>  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 04411c02c3..1895d8eeee 100644
> --- a/gnu/packages/sml.scm
> +++ b/gnu/packages/sml.scm
> @@ -317,7 +317,7 @@ function interface, and a symbolic debugger.")
>          ,(smlnj-file version
>                       "asdl.tgz"
>                       "0mad2df5pmkdsb69gflxma6m6i3gla6hdmjjnkzk76pagpr8zb0m"))))
> -    (home-page "http://www.smlnj.org";)
> +    (home-page "https://www.smlnj.org";)
>      (synopsis "Standard ML of New Jersey interactive compiler")
>      (description
>        "SML/NJ is an implementation of the Standard ML programming language.
>
> base-commit: cf17cbbc1b16dd15c8ec2e637d240de7ae5c3a44
> -- 
> 2.25.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#55534: [PATCH] gnu: smlnj: Use HTTPS home page.
>
>
>
>
> Date: 
>
> Wed, 01 Jun 2022 23:23:43 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux)
>
>
>
>
> Foo Chuan Wei <chuanwei.foo@hotmail.com> skribis:
>
> > * gnu/packages/sml.scm (smlnj)[home-page]: Use HTTPS.
>
> Applied!
>
>
> --- End Message ---