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/page_cache has been deleted
was 698dffce5d4bf7394358ec4199a90d302d87c53e
-----------------------------------------------------------------------
698dffce5d4bf7394358ec4199a90d302d87c53e Move vm_cache_statistics to the
gnumach IPC interface
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Mach
