Update pgadmin3 to 1.20.0
Merge pull request #8280 from jawshooah/update-pgadmin3

Update pgadmin3 to 1.20.0