[SCM] GNU Mach branch, master-user_level_drivers-debian, updated. v1.8-192-g955d33b

[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  955d33b3189d31dcdc86ea33a0def24f3e781340 (commit)
       via  259f75fa47ae7bc03c91cc102dc9480f14cd7266 (commit)
      from  65c62a0ab0c2099c7bb4ba6a8e74173fa38a578e (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 955d33b3189d31dcdc86ea33a0def24f3e781340
Merge: 65c62a0 259f75f
Author: Samuel Thibault <address@hidden>
Date:   Tue Nov 12 22:03:30 2019 +0100

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

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

Summary of changes:
 linux/dev/arch/i386/kernel/irq.c | 93 ++++++++++++++++++++++------------------
 1 file changed, 51 insertions(+), 42 deletions(-)


hooks/post-receive
-- 
GNU Mach