diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-04-07 17:18:07 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-04-07 17:18:07 +0200 |
| commit | 0db356ea482b3045f4d49b5c7953791bf18573a3 (patch) | |
| tree | d083419e0fb7f974b4111a5fcd44174d1d221556 /user/Sergio_Lopez.mdwn | |
| parent | 9553439d7562aad9c3b58a83fc7c0059fc29422a (diff) | |
Fix git.savannah.gnu.org urls into https
Diffstat (limited to 'user/Sergio_Lopez.mdwn')
| -rw-r--r-- | user/Sergio_Lopez.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user/Sergio_Lopez.mdwn b/user/Sergio_Lopez.mdwn index ab5ed1f1..5075b8e9 100644 --- a/user/Sergio_Lopez.mdwn +++ b/user/Sergio_Lopez.mdwn @@ -30,7 +30,7 @@ This work has two objectives: #### Trying it I've commited this work to this branch: -<http://git.savannah.gnu.org/cgit/hurd/gnumach.git/log/?h=k0ro/advisory_pageout/master> +<https://git.savannah.gnu.org/cgit/hurd/gnumach.git/log/?h=k0ro/advisory_pageout/master> You'll also need the counterpart for user space: |