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 6cd23e1aa4f3557260e0cf75a2de2c142f8d8f48
-----------------------------------------------------------------------
6cd23e1aa4f3557260e0cf75a2de2c142f8d8f48 Merge branch 'master' into
master-user_level_drivers
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Mach
