On Sun, Oct 7, 2018 at 10:15 AM Walter Schwarzenfeld <
[email protected]> wrote:

> Here you can see which ports are merged:
>
> https://www.freshports.org/x11/xorgproto/

See the UPDATING entry 20180731 for the command to take care of this. It
provides the proper command to do the trick.
--
Kevin Oberman, Part time kid herder and retired Network Engineer
E-mail: [email protected]
PGP Fingerprint: D03FB98AFA78E3B78C1694B318AB39EF1B055683
_______________________________________________
[email protected] mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "[email protected]"

Reply via email to