[SCM] GNU Mach branch, master-user_level_drivers, updated. v1.8-181-g19687f6

[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 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 <address@hidden>
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