diff options
| -rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index e1f702b54082..558e7f1fc9ba 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -32,6 +32,11 @@ #--- END OF EXAMPLES --- +# Ulrich Müller <ulm@gentoo.org> (2020-07-25) +# No longer needed without the separate dev-tex/pdftex package. +# Removal in 30 days. Bug #533080. +app-eselect/eselect-pdftex + # Mikle Kolyada <zlogene@gentoo.org> (2020-07-24) # Both packages is a part of the texlive-formatsextra.collection # (or dev-texlive/texlive-formatsextra package). |