[SCM] GNU Mach branch, master, updated. v1.8-636-g25a3748b

[Samuel Thibault]

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 "GNU Mach".

The branch, master has been updated
       via  25a3748b9028b5207e419fc49b6178b1b6405fa8 (commit)
      from  b16f119edb80e913fdd60fc3bf381afb504509fd (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 25a3748b9028b5207e419fc49b6178b1b6405fa8
Author: Flavio Cruz <flaviocruz@gmail.com>
Date:   Tue May 16 23:01:01 2023 -0400

    Fix task_info for TASK_THREAD_TIMES_INFO.
    
    We are checking for the existence of time_value64_t but we didn't add
    that to the task_thread_times_info structure.
    Message-Id: <ZGRDbS0XIm1fJwkG@jupiter.tail36e24.ts.net>

-----------------------------------------------------------------------

Summary of changes:
 include/mach/task_info.h | 6 ++++++
 kern/task.c              | 8 +++++++-
 2 files changed, 13 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
GNU Mach