В Пн, 15/07/2019 в 11:06 -0400, Mike Gilbert пишет: > On Mon, Jul 15, 2019 at 10:33 AM Michael Orlitzky <m...@gentoo.org> > wrote: > > On 7/14/19 9:56 PM, William Hubbs wrote: > > > The ultimate goal is to turn this flag off in the 19.0 profiles, > > > we are > > > just preserving the current status in the earlier ones. > > > > > > > So, to be clear: the plan is to force a /usr merge after all? > > > > I don't anticipate that happening within 2019, so I doubt it would be > turned off in a "19.0" profile. > > I think Gentoo developers are rather split on the /usr merge, and I > suspect a council ruling will be necessary if the pro-usr-merge camp > wants to push it through. >
A little offtop: is there a tracker bug for /usr merge related issues? I can't find one.