diff options
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: |