Re: [PATCH] Install port-deref-deferred.h header for ports.h

[Samuel Thibault]

James Clarke, le Thu 10 Sep 2015 11:59:04 +0100, a écrit :
> * libports/Makefile (installhdrs): Add port-deref-deferred.h for ports.h

Applied, thanks!

Samuel