summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAaron W. Swenson <titanofold@gentoo.org>2018-01-14 08:58:07 -0500
committerAaron W. Swenson <titanofold@gentoo.org>2018-01-14 08:58:07 -0500
commit07e3ef9a27309042e037d65ce9990062502d36ec (patch)
treeb22a2aa4c2924d725fd9297e88a9f33413466cb7 /profiles/package.mask
parentdev-db/phppgadmin: Removal (diff)
downloadgentoo-07e3ef9a27309042e037d65ce9990062502d36ec.tar.gz
gentoo-07e3ef9a27309042e037d65ce9990062502d36ec.tar.bz2
gentoo-07e3ef9a27309042e037d65ce9990062502d36ec.zip
package.mask: dev-db/phppgadmin removed
Package removed. Cleanup mask. Bug: https://bugs.gentoo.org/641140
Diffstat (limited to 'profiles/package.mask')
-rw-r--r--profiles/package.mask7
1 files changed, 0 insertions, 7 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index 0c057017ebe4..5629470181d3 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -713,13 +713,6 @@ virtual/jre:9
# experimental features and accept a more unstable release.
>=www-client/chromium-65
-# Aaron W. Swenson <titanofold.org> (15 Dec 2017)
-# Masked for removal in 30 days (2017-01-14). Upstream doesn't appear
-# to be active and is really far behind in supporting the latest
-# enhancements from PostgreSQL. Consider using dev-db/pgadmin4
-# instead. (Bug 641140)
-dev-db/phppgadmin
-
# Andrey Grozin <grozin@gentoo.org> (15 Dec 2017)
# Dead upstream. Removal in 30 days. Use bpython or ptpython instead.
dev-python/dreampie