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, master has been updated
via dec8c30d36b4b7fc5216bbee3e717616963e4de7 (commit)
from f947558b36082121492d20a6f2e0e7800ff6977d (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit dec8c30d36b4b7fc5216bbee3e717616963e4de7
Author: Samuel Thibault <samuel.thiba...@ens-lyon.org>
Date: Sun Jan 5 15:15:55 2020 +0100
pfinet: Fix build
errno is also used by glue headers, so we can not actually check it
* pfinet/io-ops.c (S_io_reauthenticate): Do not check that it's EINTR
that make_sock_user failed with.
-----------------------------------------------------------------------
Summary of changes:
pfinet/io-ops.c | 10 ++++------
1 file changed, 4 insertions(+), 6 deletions(-)
hooks/post-receive
--
Hurd
