diff options
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 61ae87f53997..d81573ac52df 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -232,14 +232,6 @@ app-editors/fb2edit app-text/7plus # Michał Górny <mgorny@gentoo.org> (05 Jun 2017) -# Mask split *-sharp packages for removal. Replaced by combined: -# - >=dev-dotnet/gtk-sharp-2.12.21, -# Removal in 14 days. -<dev-dotnet/gtk-sharp-2.12.21 -dev-dotnet/gtk-dotnet-sharp -dev-dotnet/gtk-sharp-docs - -# Michał Górny <mgorny@gentoo.org> (05 Jun 2017) # (on behalf of Treecleaner project) # Unmaintained in Gentoo. The current Gentoo version no longer builds. # Removal in 30 days. Bug #602820. |