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 has been deleted
was 4fb5d902ca1320522c2cd6c2b2625ddca579a083
-----------------------------------------------------------------------
4fb5d902ca1320522c2cd6c2b2625ddca579a083 Implement io_select_timeout
-----------------------------------------------------------------------
hooks/post-receive
--
Hurd
