diff options
author | Joonas Niilola <juippis@gentoo.org> | 2022-09-15 09:56:23 +0300 |
---|---|---|
committer | Joonas Niilola <juippis@gentoo.org> | 2022-09-15 10:05:43 +0300 |
commit | 272de12fa88f500d0d27c551f223e15d7639fe9a (patch) | |
tree | 729c5df535934fd9918433cf237ba0d10cc06d3f /profiles | |
parent | media-fonts/source-sans: drop 2.020 (diff) | |
download | gentoo-272de12fa88f500d0d27c551f223e15d7639fe9a.tar.gz gentoo-272de12fa88f500d0d27c551f223e15d7639fe9a.tar.bz2 gentoo-272de12fa88f500d0d27c551f223e15d7639fe9a.zip |
profiles: last-rite media-fonts/source-pro
- it's split into three different packages now:
source-pro-code, source-sans, source-serif.
Bug: 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, 6 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 9e72e0e5a9a5..88e14b650d4b 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -33,6 +33,12 @@ #--- END OF EXAMPLES --- +# 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 + # Stephan Hartmannr <sultan@gentoo.org> (2022-09-12) # Unpatched security vulerabilities, bug #868156, bug #868354. www-client/chromium-bin |