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 19687f6a94157e866d473ea6dffaadfacec95f55 (commit)
from 9297476ab4e700d1d41075fb05533e926be1533f (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 19687f6a94157e866d473ea6dffaadfacec95f55
Author: Samuel Thibault <samuel.thiba...@ens-lyon.org>
Date: Tue Nov 12 11:55:19 2019 +0100
More debugging
-----------------------------------------------------------------------
Summary of changes:
device/intr.c | 3 +++
1 file changed, 3 insertions(+)
hooks/post-receive
--
GNU Mach
