Hi!

> Thanks for this. It was a real help. I got bitten by it on an 11-stable
> system with ports rev 440997 [ 2017-05-16 13:27:43 +0100 ]

Can someone please provide a write-up that we can add to UPDATING ?

> Does anyone know why /usr/ports/UPDATING wasn't, er, updated? 

Braintime is really tight 8-(

-- 
[email protected]            +49 171 3101372                         3 years to go !
_______________________________________________
[email protected] mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "[email protected]"

Reply via email to