This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Hurd".
The branch, master has been updated
via 09cb36a33b8d6847b8c4d9d7e6f022228de30dec (commit)
from d2579d7862b2b35f6a9be6a16263f2bcb7c61fe2 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 09cb36a33b8d6847b8c4d9d7e6f022228de30dec
Author: Yelninei <[email protected]>
Date: Sat Dec 13 17:55:08 2025 +0000
proc: Also check whether the last child is already dead.
* proc/mgt.c (process_has_exited): Repeat check for the last child too.
-----------------------------------------------------------------------
Summary of changes:
proc/mgt.c | 2 ++
1 file changed, 2 insertions(+)
hooks/post-receive
--
Hurd
