diff options
author | Patrice Clement <monsieurp@gentoo.org> | 2016-06-02 20:10:19 +0000 |
---|---|---|
committer | Patrice Clement <monsieurp@gentoo.org> | 2016-06-02 20:12:41 +0000 |
commit | 3eb5ba387167d79ece32f5e98922111ae69b2536 (patch) | |
tree | be8e1953fd1af5908fa1ff9d6e10d5c02d42e11a /profiles | |
parent | dev-util/xmlindent: Take over maintainership. (diff) | |
download | gentoo-3eb5ba387167d79ece32f5e98922111ae69b2536.tar.gz gentoo-3eb5ba387167d79ece32f5e98922111ae69b2536.tar.bz2 gentoo-3eb5ba387167d79ece32f5e98922111ae69b2536.zip |
profiles/package.mask: Mask dev-util/osdt for removal.
Diffstat (limited to 'profiles')
-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 9f7f88fb4f94..66de04dbbab1 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,11 @@ #--- END OF EXAMPLES --- +# Patrice Clement <monsieurp@gentoo.org> (2 Jun 2016) +# Dead upstream. No release since 2009. +# Masked for removal in 30 days. +dev-util/osdt + # Michael Palimaka <kensington@gentoo.org> (1 Jun 2016) # Ancient. Unused. Dead upstream. Masked for removal in 30 days. # Bug 584374. |