On Nov 16, 2018, at 14:41, Ruben Di Battista wrote:

> In any case I removed the local source, and re-did the selfupdate just to 
> check (but I had the branch of the local git repo rebased on upstream 
> master). No outdated ports.  I’m quite sure it is not a problem of my local 
> misconfiguration...
> 
> However I see that a patch was stripped off recently from hdf5… Could that be 
> related?

It looks like the patch was removed at the same time that the port was updated 
to version 1.10.4, presumably because it is no longer needed with that version.

Reply via email to