Applied, thanks!
Flavio Cruz, le mer. 15 mars 2023 02:21:53 -0400, a ecrit:
> https://git.savannah.gnu.org/cgit/hurd/gnumach.git/commit/?id=5447f965f1e109f7ac9aeb91c0e3906969a4adb8
> provides more context.
> ---
> proc/host.c | 7 ++-
> 1 file changed, 6 insertions(+), 1 deletion(-)
>
> diff
https://git.savannah.gnu.org/cgit/hurd/gnumach.git/commit/?id=5447f965f1e109f7ac9aeb91c0e3906969a4adb8
provides more context.
---
proc/host.c | 7 ++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/proc/host.c b/proc/host.c
index 4cfd710e..e78e70da 100644
--- a/proc/host.c
+++ b/