diff options
author | Aaron W. Swenson <titanofold@gentoo.org> | 2018-01-14 08:58:07 -0500 |
---|---|---|
committer | Aaron W. Swenson <titanofold@gentoo.org> | 2018-01-14 08:58:07 -0500 |
commit | 07e3ef9a27309042e037d65ce9990062502d36ec (patch) | |
tree | b22a2aa4c2924d725fd9297e88a9f33413466cb7 | |
parent | dev-db/phppgadmin: Removal (diff) | |
download | gentoo-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
-rw-r--r-- | profiles/package.mask | 7 |
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 |