Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/
Date: Sun, 19 Sep 2021 13:42:33
Message-Id: 1632058937.682b8a9ef12348c6a7aa67c272624a3af524d3a5.tupone@gentoo
1 commit: 682b8a9ef12348c6a7aa67c272624a3af524d3a5
2 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Sun Sep 19 13:41:12 2021 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Sun Sep 19 13:42:17 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=682b8a9e
7
8 package.mask: mask <dev-lang/gnat-gpl-2019
9
10 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
11
12 profiles/package.mask | 5 +++++
13 1 file changed, 5 insertions(+)
14
15 diff --git a/profiles/package.mask b/profiles/package.mask
16 index 7c49be62c97..e2f97cec0c8 100644
17 --- a/profiles/package.mask
18 +++ b/profiles/package.mask
19 @@ -33,6 +33,11 @@
20
21 #--- END OF EXAMPLES ---
22
23 +# Alfredo Tupone <tupone@g.o> (2021-09-19)
24 +# Mask gnat-gpl-2018 and gnat-gpl-2019. Please switch
25 +# to a fresher gnat-gpl branch.
26 +<dev-lang/gnat-gpl-2019
27 +
28 # Sam James <sam@g.o> (2021-09-18)
29 # Drops an unstable API which some projects were using
30 # including Chromium. Masked to avoid runtime breakage.