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 a3d7582ffbf1b16922e2e5646bd4c90bde2c7c9f
-----------------------------------------------------------------------
a3d7582ffbf1b16922e2e5646bd4c90bde2c7c9f Provide basic page cache statistics
-----------------------------------------------------------------------
hooks/post-receive
--
GNU Mach
