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-( -- pi at opsec.eu +49 171 3101372 3 years to go !