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 5e8e02f53c47bcf108c64263249795f702b8b19a (commit)
from 87a79cbf282e97a7e729205d7cb19182c298474a (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 5e8e02f53c47bcf108c64263249795f702b8b19a
Author: James Clarke <[email protected]>
Date: Thu Sep 10 11:59:04 2015 +0100
Install port-deref-deferred.h header for ports.h
* libports/Makefile (installhdrs): Add port-deref-deferred.h for ports.h
-----------------------------------------------------------------------
Summary of changes:
libports/Makefile | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
hooks/post-receive
--
Hurd
