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-debian has been deleted
was b21966a525aad003d7434c5bc497ad29f827fbbb
-----------------------------------------------------------------------
b21966a525aad003d7434c5bc497ad29f827fbbb Merge branch
'master-user_level_drivers2' into master-user_level_drivers2-debian
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Mach
