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

  • Done
  • quality assurance status badge
Details
2 participants
  • Brett Gilio
  • Tobias Geerinckx-Rice
Owner
unassigned
Submitted by
Brett Gilio
Severity
normal

Debbugs page

Brett Gilio wrote 5 years ago
(address . guix-patches@gnu.org)
87d0djiox9.fsf@posteo.net
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(-)

Toggle diff (15 lines)
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
Tobias Geerinckx-Rice wrote 5 years ago
Re: [bug#38328] [bug#38329]
87wobr7eli.fsf@nckx
Brett,

Brett Gilio 写道：
Toggle quote (3 lines)
> [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
-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEfo+u0AlEeO9y5k0W2Imw8BjFSTwFAl3YW1kACgkQ2Imw8BjF
STxTGg/9H2lVehg5sQkAcdAz/uvSH4SYgCyKndEmKfviL26P+ABCQL/dHXd94OSG
+Hkzd2iSu4MEmYdDtpDhyNwpZsqFvvw0FMzruJWms2M0DzipoWWyloiN+aAKGYgT
Xr0Xityh3zP86D9jgyuUz3Piw+trx57vvyyZRnwRCAd1rPjZiV56IgNeiE9AmLXj
Od9GZfsvFksfirSjZ/J1KFKBlmVHfQR/cSu2elN60rxN80/f6CFn2j22nzWWoLMk
XuabLdgsXQ+TLhpno/a6aiZkjujyjhE7GG8lNYUziUR769QjAMBAVd9TNo0frkRx
bVsXROg1UCpPh7urTAy8A2uXlZEshHMU4Dt8QP0qnOdOGOoRIf+qMBaqayeqpchT
bK9HeeGbxTDFfImCRk0EyDVligNorWYVg5Nb9I3ZjUX3e92e/UdgakeOrrwekEI/
+JonYxL9lvRVcLGsFIPVcef6qsCMRlNnwWa8TYSzKJmgLtPfqwIdULkaBoQVLA1L
tfewmdfmhCe0+5drFMpIslyx5AqGYfHXBdGAHKFp6zMfCcMwE7Uj1CNoF+G1NIMV
+1kZEbPvSw2l4uwhTl3xpHeDl5Ue2SnrVSTBx3EX6K8fy7s9R+oXOUVJZ74WetF0
/WVghP/05d1Rqv+w6TikEktlmcc9i4wLwA6RpY8Z5gI6rJiToc0=
=HslR
-----END PGP SIGNATURE-----

Closed
brettg wrote 5 years ago
Re: [bug#38328] [bug#38329]
(name . Tobias Geerinckx-Rice)(address . me@tobias.gr)
6bae30bfa6bfa5ef26cdd24b965f8105@posteo.net
On 22.11.2019 23:04, Tobias Geerinckx-Rice wrote:
Toggle quote (20 lines)
> 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.
Closed
?
Your comment

This issue is archived.

To comment on this conversation send an email to 38329@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 38329
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch
You may also tag this issue. See list of standard tags. For example, to set the confirmed and easy tags
mumi command -t +confirmed -t +easy
Or, remove the moreinfo tag and set the help tag
mumi command -t -moreinfo -t +help