Quoting Devrim Gündüz at 2015-04-28-15:36:53(+0300):
>
> Hi,
>
> Thanks for the report.
>
> Fixed this (and some more packaging issues) 1.20.0-3, and pushed to 9.4
> repos. 9.3 and others will pick the update in a few hours.
Thanks, I confirmed that pgadmin3_94-1.20.0-3.rhel7 shows up alright
now.