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-(

For details, see:

http://www.freshports.org/graphics/mesa-dri/

and

https://reviews.freebsd.org/D10448

It was very complicated and so UPDATING somehow slipped through 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