From: Robert Treat <xzilla@users.noreply.github.com>
Date: Sat, 6 Jul 2019 23:07:19 +0000 (-0400)
Subject: Merge pull request #25 from phppgadmin/master
X-Git-Tag: REL_7-12-1~33^2~1
X-Git-Url: http://git.postgresql.org/gitweb/static/%7B%7Bpgdulink%28?a=commitdiff_plain;h=6f5eb0223558a75ad43f4c47765f9843ca11878e;p=phppgadmin.git

Merge pull request #25 from phppgadmin/master

sync upstream back to dev repo
---

6f5eb0223558a75ad43f4c47765f9843ca11878e