[SCM] GNU Mach branch, master, updated. v1.8-651-gf09a574a

[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  f09a574a331527ccebdef88d5cc2e2c45fa072b4 (commit)
      from  ee2e9072964ce1615c9059a6141200244f9f9119 (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 f09a574a331527ccebdef88d5cc2e2c45fa072b4
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Mon Jun 12 02:06:49 2023 +0200

    intr: Fix crash on irq notification port destruction
    
    When the Linux IRQ driver is used we don't really control the list, so
    we end up with a small leak.

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

Summary of changes:
 device/intr.c | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
GNU Mach