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/select-EINTR has been deleted
was a47d0c1952ffddde9efb18362f94330050f5df97
-----------------------------------------------------------------------
a47d0c1952ffddde9efb18362f94330050f5df97 Merge commit
'refs/top-bases/t/select-EINTR' into t/select-EINTR
-----------------------------------------------------------------------
hooks/post-receive
--
glibc maintenance
