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. -- Sergei
