From 07e3ef9a27309042e037d65ce9990062502d36ec Mon Sep 17 00:00:00 2001 From: "Aaron W. Swenson" Date: Sun, 14 Jan 2018 08:58:07 -0500 Subject: package.mask: dev-db/phppgadmin removed Package removed. Cleanup mask. Bug: https://bugs.gentoo.org/641140 --- profiles/package.mask | 7 ------- 1 file changed, 7 deletions(-) (limited to 'profiles/package.mask') 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 (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 (15 Dec 2017) # Dead upstream. Removal in 30 days. Use bpython or ptpython instead. dev-python/dreampie -- cgit v1.2.3-65-gdbad