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 5a76ea9fae134b66d74fffa9201bcb00d05a446a
-----------------------------------------------------------------------
5a76ea9fae134b66d74fffa9201bcb00d05a446a Really fix condition implementation
-----------------------------------------------------------------------
hooks/post-receive
--
Hurd
