Gentoo Archives: gentoo-commits

From: Mike Pagano <mpagano@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/
Date: Thu, 31 May 2018 13:30:31
Message-Id: 1527773420.811b734300a977d4ca65c3a1ede29a145500c452.mpagano@gentoo
1 commit: 811b734300a977d4ca65c3a1ede29a145500c452
2 Author: Mike Pagano <mpagano <AT> gentoo <DOT> org>
3 AuthorDate: Thu May 31 13:28:31 2018 +0000
4 Commit: Mike Pagano <mpagano <AT> gentoo <DOT> org>
5 CommitDate: Thu May 31 13:30:20 2018 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=811b7343
7
8 package.mask: Mask vanilla-sources vers. due to bad commit on network stack
9
10 profiles/package.mask | 3 +++
11 1 file changed, 3 insertions(+)
12
13 diff --git a/profiles/package.mask b/profiles/package.mask
14 index bb88f0218d1..d1ff9ba1690 100644
15 --- a/profiles/package.mask
16 +++ b/profiles/package.mask
17 @@ -34,6 +34,9 @@
18 =sys-kernel/gentoo-sources-4.14.46
19 =sys-kernel/gentoo-sources-4.9.104
20 =sys-kernel/gentoo-sources-4.4.134
21 +=sys-kernel/vanilla-sources-4.14.46
22 +=sys-kernel/vanilla-sources-4.9.104
23 +=sys-kernel/vanilla-sources-4.4.134
24
25 # Michał Górny <mgorny@g.o> (30 May 2018)
26 # Gentoo repository mirrors are now running on Gentoo Infastructure,