diff options
| author |   Aaron W. Swenson <titanofold@gentoo.org> | 2017-12-15 11:06:11 -0500 |
|---|---|---|
| committer | Aaron W. Swenson <titanofold@gentoo.org> | 2017-12-15 11:06:11 -0500 |
| commit | a7d186d77cc80999e12f9d6d02b733bcd1e7367f (patch) | |
| tree | 32ee3d9e43fc1034e59e74126ce7fccdf1fce9fc /profiles | |
| parent | media-sound/spotify: switched to xdg-utils (diff) | |
| download | gentoo-a7d186d77cc80999e12f9d6d02b733bcd1e7367f.tar.gz gentoo-a7d186d77cc80999e12f9d6d02b733bcd1e7367f.tar.bz2 gentoo-a7d186d77cc80999e12f9d6d02b733bcd1e7367f.zip | |
package.mask: Mask dev-db/phppgadmin
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 593c3fef9aa8..4d8af6fa807d 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,13 @@ #--- END OF EXAMPLES --- +# 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 |