commit:     4ae34e356c9859a2e92ac4c08291c0095d202ac9
Author:     Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Mon Sep  9 06:30:41 2019 +0000
Commit:     Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Mon Sep  9 19:02:25 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4ae34e35

profiles/base: Mask dev-ada/gps-2018[gnat_2017]

Closes: https://bugs.gentoo.org/687208
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>

 profiles/base/package.use.mask | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask
index 74ca2ddea0b..83f2781aa51 100644
--- a/profiles/base/package.use.mask
+++ b/profiles/base/package.use.mask
@@ -7,6 +7,10 @@
 # This file is only for generic masks. For arch-specific masks (i.e.
 # mask everywhere, unmask on arch/*) use arch/base.
 
+# Michał Górny <mgo...@gentoo.org> (2019-09-08)
+# LLVM 5 is being removed.
+~dev-ada/gps-2018 gnat_2017
+
 # Michał Górny <mgo...@gentoo.org> (2019-09-07)
 # media-libs/libnut is slated for removal.
 media-video/mplayer nut

Reply via email to