[SCM] GNU Mach branch, master-user_level_drivers-debian, updated. v1.8-194-g28f3f71

[Samuel Thibault]

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  28f3f7153bc72b18d08edcbdd9ef2051396192b1 (commit)
       via  9f55195e84a905ecf4bdaa81f3d6ead52171725b (commit)
      from  955d33b3189d31dcdc86ea33a0def24f3e781340 (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 28f3f7153bc72b18d08edcbdd9ef2051396192b1
Merge: 955d33b 9f55195
Author: Samuel Thibault <address@hidden>
Date:   Sun Nov 17 19:29:39 2019 +0100

    Merge branch 'master-user_level_drivers' into 
master-user_level_drivers-debian

-----------------------------------------------------------------------

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