diff options
author | Michał Górny <mgorny@gentoo.org> | 2016-07-24 13:28:06 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2016-07-24 13:30:57 +0200 |
commit | ec9de68630eb05b5647833902d3287e6af012fb9 (patch) | |
tree | 9433e3b1c0fadacc662cec706a221b1af22f5d51 /profiles | |
parent | dev-ml/deriving-ocsigen: Remove last-rited pkg, #586906 (diff) | |
download | gentoo-ec9de68630eb05b5647833902d3287e6af012fb9.tar.gz gentoo-ec9de68630eb05b5647833902d3287e6af012fb9.tar.bz2 gentoo-ec9de68630eb05b5647833902d3287e6af012fb9.zip |
dev-ml/faillib: Remove last-rited pkg, #586912
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index e3f2f1f244cc..a04818dd8531 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -238,9 +238,7 @@ media-video/motion # Michał Górny <mgorny@gentoo.org> (25 Jun 2016) # Obsolete packages for removal in 30 days. Replacements and bugs: -# dev-ml/faillib -> dev-ml/ppx_fail, #586912 # dev-ml/typehashlib -- not used anymore, #586928 -dev-ml/faillib dev-ml/typehashlib # Pawel Hajdan jr <phajdan.jr@gentoo.org> (13 Jun 2016) |