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/hurd_with_pthreads has been deleted
was a78a95d550b23cebee638cec853f84e3ca91b4a1
-----------------------------------------------------------------------
a78a95d550b23cebee638cec853f84e3ca91b4a1 Attempt to increase libports threads
priority
-----------------------------------------------------------------------
hooks/post-receive
--
Hurd
