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 9f55195e84a905ecf4bdaa81f3d6ead52171725b (commit)
from 259f75fa47ae7bc03c91cc102dc9480f14cd7266 (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 9f55195e84a905ecf4bdaa81f3d6ead52171725b
Author: Samuel Thibault <samuel.thiba...@ens-lyon.org>
Date: Sat Nov 16 12:11:38 2019 +0100
Add port and entry in debugging prints
-----------------------------------------------------------------------
Summary of changes:
device/intr.c | 9 +++++----
linux/dev/arch/i386/kernel/irq.c | 1 -
2 files changed, 5 insertions(+), 5 deletions(-)
hooks/post-receive
--
GNU Mach
