On Sun, 16 Jun 2019 10:13:48 +0100 Sergei Trofimovich <[email protected]> wrote:
> 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. This is now tracked as https://bugs.gentoo.org/688342. I hope to get at least some followup there. -- Sergei
