[SCM] GNU Mach branch, master-user_level_drivers, updated. v1.8-193-g4b1bb4b

[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  4b1bb4b36aafc6391981d88ddcf26eb93b309c59 (commit)
      from  b71710cd519c7f9010b770af8bb3943010476476 (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 4b1bb4b36aafc6391981d88ddcf26eb93b309c59
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Thu Jul 9 01:21:03 2020 +0200

    Add missing license statements

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

Summary of changes:
 device/intr.c | 14 ++++++++++++++
 device/intr.h | 15 ++++++++++++++-
 2 files changed, 28 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
GNU Mach