Pgadmin 1.18 was released. Reproducible: Always
*pgadmin3-1.18.0 (25 Sep 2013) 25 Sep 2013; Aaron W. Swenson <titanofold@gentoo.org> +files/pgadmin3-desktop.patch, +pgadmin3-1.18.0.ebuild: Version bump fixes bug 485696 and includes patch from bug 472554. pgadmin3-desktop.patch fixes bug 458172.