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 deleted
was 913cc332c227749d7bc694c6c60301fce29d1cbe
-----------------------------------------------------------------------
913cc332c227749d7bc694c6c60301fce29d1cbe Add intr.defs to installed headers
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Mach
