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-user_level_drivers has been updated
via 9297476ab4e700d1d41075fb05533e926be1533f (commit)
from 2b11bf45284dc1e2e5a716889982f922b9baa2f9 (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 9297476ab4e700d1d41075fb05533e926be1533f
Author: Samuel Thibault <samuel.thiba...@ens-lyon.org>
Date: Tue Nov 12 11:37:45 2019 +0100
Make cleaning unacked IRQs less noisy
If a netdde dies but no netdde replaces it to trigger irqs, the Linux code
doesn't remove the handler yet. We only want to warn once when cleaning
the unacked IRQs, but no more after that, even if the entry is still
there.
-----------------------------------------------------------------------
Summary of changes:
device/intr.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
hooks/post-receive
--
GNU Mach
