diff options
| author |   Joonas Niilola <juippis@gentoo.org> | 2022-10-13 08:47:01 +0300 |
|---|---|---|
| committer | Joonas Niilola <juippis@gentoo.org> | 2022-10-13 08:48:03 +0300 |
| commit | f662764632252c3be3349582d91f8da060eefbce (patch) | |
| tree | a14fec3f7f7c81122087909aa69f795637991021 /profiles | |
| parent | mail-client/thunderbird-bin: add 102.3.3, drop 102.3.2 (diff) | |
| download | gentoo-f662764632252c3be3349582d91f8da060eefbce.tar.gz gentoo-f662764632252c3be3349582d91f8da060eefbce.tar.bz2 gentoo-f662764632252c3be3349582d91f8da060eefbce.zip | |
media-fonts/source-pro: treeclean
Closes: https://bugs.gentoo.org/865103
Signed-off-by: Joonas Niilola <juippis@gentoo.org>
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 47b540593a9f..77056d009cf1 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -246,12 +246,6 @@ media-sound/pulseaudio-modules-bt # in 30 days. #870355 x11-themes/e-flat-theme -# Joonas Niilola <juippis@gentoo.org> (2022-09-15) -# Upstream split this font into separate packages: media-fonts/ -# source-code-pro, source-sans, source-serif. The current non-split -# version is broken. Removal in 30 days. #865103 -media-fonts/source-pro - # Mike Gilbert <floppym@gentoo.org> (2022-09-12) # repoman is no longer maintained and has been removed from the portage # git repository. Please use dev-util/pkgcheck and dev-util/pkgdev instead. |