On Wed, 28 Jul 2021 at 09:39, Rodney W. Grimes <free...@gndrsh.dnsmgr.net> wrote: > > This option is recommended for those people who have small /usr partitions.
That doesn't seem particularly valuable; there is so much else in /usr. There are other options that have a much larger impact on the installed size in /usr. _______________________________________________ dev-commits-src-main@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/dev-commits-src-main To unsubscribe, send any mail to "dev-commits-src-main-unsubscr...@freebsd.org"