1 |
On Mon, 10 Jun 2019 18:53:58 +0100 |
2 |
Sergei Trofimovich <slyfox@g.o> wrote: |
3 |
|
4 |
> On Mon, 10 Jun 2019 09:28:33 -0400 |
5 |
> Brian Evans <grknight@g.o> wrote: |
6 |
> |
7 |
> > On 6/10/2019 4:18 AM, Sergei Trofimovich wrote: |
8 |
> > > |
9 |
> > > 13.0 profiles are deleted as: |
10 |
> > > https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d396d1941f8fb674218683e5fdbb248f2c713f36 |
11 |
> > > |
12 |
> > |
13 |
> > Partially reverted just the profiles/releases/13.0 files until |
14 |
> > profiles/hardened/linux files can be cleaned up. |
15 |
> > |
16 |
> > Gentoo still needs this at least for now. |
17 |
> > |
18 |
> > Brian |
19 |
> > |
20 |
> |
21 |
> Is there a bug filed for it? Which specific profile broke? |
22 |
> I wonder which types if 'parent' inclusion are not handled by my hacks. |
23 |
|
24 |
Ping. Please provide a bug where we can track revert of your revert. |
25 |
|
26 |
-- |
27 |
|
28 |
Sergei |