[SCM] Hurd branch, master, updated. v0.9.git20231217-13-g8d8520bb

[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 "Hurd".

The branch, master has been updated
       via  8d8520bb9957c6a45cdaf9566134e474e84d4fde (commit)
      from  d82e9b2785c0580f9a3bc09f3d3194ccaf7c50ac (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 8d8520bb9957c6a45cdaf9566134e474e84d4fde
Author: Flavio Cruz <flaviocruz@gmail.com>
Date:   Fri Dec 29 16:21:05 2023 -0500

    pfinet: fix type alias
    
    Message-ID: <20231229212105.858759-11-flaviocruz@gmail.com>

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

Summary of changes:
 pfinet/stubs.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


hooks/post-receive
-- 
Hurd