projects / phppgadmin.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a119372 1ea83ac)
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)
sync upstream back to dev repo


Trivial merge
phpPgAdmin is the premiere web based administration tool for PostgreSQL.