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 dfa25cdd588898dd5618c89b3896af9771ba5620 (commit)
from c6181cdba8b26358c23c2a8bb714d2c5a3ea1ebb (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 dfa25cdd588898dd5618c89b3896af9771ba5620
Author: Samuel Thibault <samuel.thiba...@ens-lyon.org>
Date: Sat Jul 12 13:40:21 2025 +0200
irq: make it clear what irq_lock protects
-----------------------------------------------------------------------
Summary of changes:
i386/i386/irq.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
hooks/post-receive
--
GNU Mach
