Re: [PATCH hurd] Use the new host_get_kernel_version introduced recently.

2023-04-02 Thread Samuel Thibault
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

[PATCH hurd] Use the new host_get_kernel_version introduced recently.

2023-03-14 Thread Flavio Cruz
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/