1 |
commit: b2ddb78f97b668232d5295c929b4773c221ba026 |
2 |
Author: Mike Pagano <mpagano <AT> gentoo <DOT> org> |
3 |
AuthorDate: Wed May 30 22:51:16 2018 +0000 |
4 |
Commit: Mike Pagano <mpagano <AT> gentoo <DOT> org> |
5 |
CommitDate: Wed May 30 22:52:36 2018 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b2ddb78f |
7 |
|
8 |
package.mask: Masking gentoo-sources 4.4.134, 4.9.103 and 4.14.46 |
9 |
due to bad commit in the networking stack |
10 |
|
11 |
profiles/package.mask | 6 ++++++ |
12 |
1 file changed, 6 insertions(+) |
13 |
|
14 |
diff --git a/profiles/package.mask b/profiles/package.mask |
15 |
index 4a4dd1d4b6f..bb88f0218d1 100644 |
16 |
--- a/profiles/package.mask |
17 |
+++ b/profiles/package.mask |
18 |
@@ -29,6 +29,12 @@ |
19 |
|
20 |
#--- END OF EXAMPLES --- |
21 |
|
22 |
+# Mike Pagano <mpagano@g.o> (30 May 2018) |
23 |
+# Masking due to bad commit in the networking stack. |
24 |
+=sys-kernel/gentoo-sources-4.14.46 |
25 |
+=sys-kernel/gentoo-sources-4.9.104 |
26 |
+=sys-kernel/gentoo-sources-4.4.134 |
27 |
+ |
28 |
# Michał Górny <mgorny@g.o> (30 May 2018) |
29 |
# Gentoo repository mirrors are now running on Gentoo Infastructure, |
30 |
# and the key used to sign commits is appropriately part of the regular |