From c6054da44a8fc6ae8b4961fc7c9eb6f51f4acb44 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Micha=C5=82=20G=C3=B3rny?= <mgorny@gentoo.org>
Date: Thu, 28 May 2020 09:32:31 +0200
Subject: [PATCH] profiles/arch/ia64: Mask py39
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Bug: https://bugs.gentoo.org/719700
Signed-off-by: Michał Górny <mgorny@gentoo.org>
---
 profiles/arch/ia64/use.mask | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/profiles/arch/ia64/use.mask b/profiles/arch/ia64/use.mask
index 727a723f0cc0..d42a7c293abf 100644
--- a/profiles/arch/ia64/use.mask
+++ b/profiles/arch/ia64/use.mask
@@ -1,9 +1,13 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2020 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 # Unmask the flag which corresponds to ARCH.
 -ia64
 
+# Michał Górny <mgorny@gentoo.org> (2020-05-28)
+# Unmask once alpha is FINALLY done with bug #719700.
+python_targets_python3_9
+
 # James Le Cuirot <chewi@gentoo.org> (2020-05-10)
 # media-libs/allegro is not keyworded.
 allegro
-- 
2.26.2