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 "Web pages".
The branch, master has been updated
via dbb2311d65cb364602446360e8aa9d358fdd21f1 (commit)
from 322f17fa5358f0e63b364c968f1ab584330c5d21 (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 dbb2311d65cb364602446360e8aa9d358fdd21f1
Author: Samuel Thibault <[email protected]>
Date: Mon Aug 10 12:07:22 2026 +0200
Ideas for proper IRQ handling delegation
-----------------------------------------------------------------------
Summary of changes:
open_issues/{system_crash_nmap.mdwn => interrupts.mdwn} | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
copy open_issues/{system_crash_nmap.mdwn => interrupts.mdwn} (72%)
hooks/post-receive
--
Web pages
