On Mon, 10 Jun 2019 18:53:58 +0100 Sergei Trofimovich <[email protected]> wrote:
> On Mon, 10 Jun 2019 09:28:33 -0400 > Brian Evans <[email protected]> wrote: > > > On 6/10/2019 4:18 AM, Sergei Trofimovich wrote: > > > > > > 13.0 profiles are deleted as: > > > > > > https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d396d1941f8fb674218683e5fdbb248f2c713f36 > > > > > > > Partially reverted just the profiles/releases/13.0 files until > > profiles/hardened/linux files can be cleaned up. > > > > Gentoo still needs this at least for now. > > > > Brian > > > > Is there a bug filed for it? Which specific profile broke? > I wonder which types if 'parent' inclusion are not handled by my hacks. Ping. Please provide a bug where we can track revert of your revert. -- Sergei
