From 1d20ae1b102372d2cdeb40a2302f4d1479fe0ccb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20G=C3=B3rny?= <mgorny@gentoo.org>
Date: Thu, 18 Nov 2021 18:14:21 +0100
Subject: [PATCH] package.mask: Mask virtual/dist-kernel too
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Michał Górny <mgorny@gentoo.org>
---
 profiles/package.mask | 1 +
 1 file changed, 1 insertion(+)

diff --git a/profiles/package.mask b/profiles/package.mask
index cb56b57f1020a..caf3036be1272 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -42,6 +42,7 @@
 ~sys-kernel/gentoo-kernel-5.14.19
 ~sys-kernel/gentoo-kernel-bin-5.14.19
 ~sys-kernel/vanilla-kernel-5.14.19
+~virtua/dist-kernel-5.4.19
 
 # Jakov Smolić <jsmolic@gentoo.org> (2021-11-16)
 # Outdated java package, uses EAPI 5, no revdeps,