Svante Signell via Dng said on Mon, 16 Jan 2023 16:27:05 +0100

>On Sun, 2023-01-15 at 21:18 +0200, Boian Bonev via Dng wrote:

>> As a conclusion we'd better get prepared to accept the usrmerge, like
>> it or not...
>
>I strongly disagree with that opinion, anybody else?

I strongly *agree* with accepting the /usr merge. /usr merge sucks, but
it's not the hill to die on.

SteveT

Steve Litt
Autumn 2022 featured book: Thriving in Tough Times
http://www.troubleshooters.com/bookstore/thrive.htm