package.mask: dev-db/phppgadmin removed

Package removed. Cleanup mask.

Bug: https://bugs.gentoo.org/641140

diff --git a/profiles/package.mask b/profiles/package.mask
index 0c057017ebe4fac5f6f2be0993d681a292622531..5629470181d3ac599e8d53cab41e6bd0b2c9a00e 100644 (file)
--- 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