From 0db356ea482b3045f4d49b5c7953791bf18573a3 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 7 Apr 2024 17:18:07 +0200
Subject: Fix git.savannah.gnu.org urls into https

---
 open_issues/rpc_stub_generator.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'open_issues/rpc_stub_generator.mdwn')

diff --git a/open_issues/rpc_stub_generator.mdwn b/open_issues/rpc_stub_generator.mdwn
index d4622d67..26511d3b 100644
--- a/open_issues/rpc_stub_generator.mdwn
+++ b/open_issues/rpc_stub_generator.mdwn
@@ -122,7 +122,7 @@ License|/fdl]]."]]"""]]
     <neal> the first are a burden
     <neal> the latter is a pain
     <neal>
-      http://git.savannah.gnu.org/gitweb/?p=hurd/viengoos.git;a=blob;f=libviengoos/viengoos/rpc.h;h=721768358a0299637fb79f226aea6a304571da85;hb=refs/heads/viengoos-on-bare-metal
+      https://git.savannah.gnu.org/gitweb/?p=hurd/viengoos.git;a=blob;f=libviengoos/viengoos/rpc.h;h=721768358a0299637fb79f226aea6a304571da85;hb=refs/heads/viengoos-on-bare-metal
     <neal> in the same directory, you there are headers that use it
     <braunr> neal: cf. http://genode.org/documentation/release-notes/11.05
     <braunr> tschwinge: why do you recommend an IDL ?
-- 
cgit v1.2.3