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

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

[Brett Gilio]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: [PATCH 2/2] gnu: polyml: Use HTTPS home page URI. --]
[-- Type: text/x-patch, Size: 949 bytes --]

From cf2373e97c26838892b2a9e1bd300e73616a2a4d Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg@posteo.net>
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

bug#38329: [bug#38328] [bug#38329]

[Tobias Geerinckx-Rice via Guix-patches via]

[-- Attachment #1: Type: text/plain, Size: 544 bytes --]

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=nnnn@debbugs.gnu.org 
…’ to send the actual patches.

Thanks!

T G-R

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 832 bytes --]

[bug#38328] [bug#38329]

[brettg]

On 22.11.2019 23:04, Tobias Geerinckx-Rice wrote:
> 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=nnnn@debbugs.gnu.org …’ to send the
> actual patches.
> 
> Thanks!
> 
> T G-R

Oh right! I always forget that convention.