[SCM] GNU Mach branch, master, updated. v1.8-201-g9e960ca

[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 has been updated
       via  9e960ca99381dad4d1b75ad56842a5b5c3e41235 (commit)
      from  de7bdf13e5b1c688aaf52e83e1812c4013fad0f5 (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 9e960ca99381dad4d1b75ad56842a5b5c3e41235
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Sun Jul 19 11:37:18 2020 +0200

    intr_register: better document how we'd handle crashes

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

Summary of changes:
 device/ds_routines.c | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
GNU Mach