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-debian has been updated
via 16905bcc1bdc71c8a6e774899cbbcc9bf7160dd9 (commit)
via 9297476ab4e700d1d41075fb05533e926be1533f (commit)
from dd14109585b3b434a2c21f4e5c0edf82d94de4f2 (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 16905bcc1bdc71c8a6e774899cbbcc9bf7160dd9
Merge: dd14109 9297476
Author: Samuel Thibault <samuel.thiba...@ens-lyon.org>
Date: Tue Nov 12 11:39:22 2019 +0100
Merge branch 'master-user_level_drivers' into
master-user_level_drivers-debian
-----------------------------------------------------------------------
Summary of changes:
device/intr.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
hooks/post-receive
--
GNU Mach
