Merge pull request #25 from phppgadmin/master
authorRobert Treat <xzilla@users.noreply.github.com>
Sat, 6 Jul 2019 23:07:19 +0000 (19:07 -0400)
committerGitHub <noreply@github.com>
Sat, 6 Jul 2019 23:07:19 +0000 (19:07 -0400)
commit6f5eb0223558a75ad43f4c47765f9843ca11878e
treea74666522a74f673a3a97634b49df663f2952562
parenta1193727b5c2fdb0442260d03748be6228343a50
parent1ea83accae6229e6b63844d948ed144fe486fee0
Merge pull request #25 from phppgadmin/master

sync upstream back to dev repo