Fedora 21 Update: pgadmin3-1.20.0-0.fc21