[SCM] GNU Mach branch, master-user_level_drivers-debian, updated. v1.8-188-g8c3f566

[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  8c3f56613c82c3ddd17ab8621a52b30e2c68c810 (commit)
       via  19687f6a94157e866d473ea6dffaadfacec95f55 (commit)
      from  16905bcc1bdc71c8a6e774899cbbcc9bf7160dd9 (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 8c3f56613c82c3ddd17ab8621a52b30e2c68c810
Merge: 16905bc 19687f6
Author: Samuel Thibault <address@hidden>
Date:   Tue Nov 12 11:55:29 2019 +0100

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

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

Summary of changes:
 device/intr.c | 3 +++
 1 file changed, 3 insertions(+)


hooks/post-receive
-- 
GNU Mach