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 "glibc maintenance".
The branch, t/ptrmangle has been deleted
was ed9b00c43de08936826d7b78edd963d50ac256a3
-----------------------------------------------------------------------
ed9b00c43de08936826d7b78edd963d50ac256a3 Merge commit
'refs/top-bases/t/ptrmangle' into t/ptrmangle
-----------------------------------------------------------------------
hooks/post-receive
--
glibc maintenance
