Merge pull request #68718 from jonringer/fix-pgadmin

pgadmin: fix build
This commit is contained in:
Mario Rodas
2019-09-15 14:36:51 -05:00
committed by GitHub

View File

@@ -24130,7 +24130,9 @@ in
pgmanage = callPackage ../applications/misc/pgmanage { };
pgadmin = callPackage ../applications/misc/pgadmin { };
pgadmin = callPackage ../applications/misc/pgadmin {
openssl = openssl_1_0_2;
};
pgf = pgf2;