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 has been deleted
was e835160b6b95f3b904fbc429392a63be1e4ed6b8
-----------------------------------------------------------------------
e835160b6b95f3b904fbc429392a63be1e4ed6b8 Use vm_page as the physical memory
allocator
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Mach
