From 4ae34e356c9859a2e92ac4c08291c0095d202ac9 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Micha=C5=82=20G=C3=B3rny?= <mgorny@gentoo.org>
Date: Mon, 9 Sep 2019 08:30:41 +0200
Subject: [PATCH] profiles/base: Mask dev-ada/gps-2018[gnat_2017]
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Closes: https://bugs.gentoo.org/687208
Signed-off-by: Michał Górny <mgorny@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 74ca2ddea0b2..83f2781aa51a 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 <mgorny@gentoo.org> (2019-09-08)
+# LLVM 5 is being removed.
+~dev-ada/gps-2018 gnat_2017
+
 # Michał Górny <mgorny@gentoo.org> (2019-09-07)
 # media-libs/libnut is slated for removal.
 media-video/mplayer nut
-- 
2.26.2