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 "Hurd".
The branch, tmpfs-final has been deleted
was be1258e838c00ee452356dffb08966c6177be8a1
-----------------------------------------------------------------------
be1258e838c00ee452356dffb08966c6177be8a1 Handle correct increasing of object
size.
-----------------------------------------------------------------------
hooks/post-receive
--
Hurd
