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, rbraun/vm_page_dde has been deleted
was 5cddfa824bde4ff8c235bf3adb1952ba99293941
-----------------------------------------------------------------------
5cddfa824bde4ff8c235bf3adb1952ba99293941 70_dde
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Mach
