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, rbraun/select_timeout_pthread_v3 has been deleted
was a0851ceb76d5204759034ea8ec2293238ba81205
-----------------------------------------------------------------------
a0851ceb76d5204759034ea8ec2293238ba81205 Add io_select_timeout to the io
interface
-----------------------------------------------------------------------
hooks/post-receive
--
Hurd
