[ppa-commit] [phppgadmin/phppgadmin] 22b1a3: Mark PPA release 7.12.0

[Robert T. <no...@gi...>]

  Branch: refs/heads/master
  Home:   https://github.com/phppgadmin/phppgadmin
  Commit: 22b1a3eecb9827f5bafa0e167ead8acb4e7a0ed4
      https://github.com/phppgadmin/phppgadmin/commit/22b1a3eecb9827f5bafa0e167ead8acb4e7a0ed4
  Author: Robert Treat <ro...@xz...>
  Date:   2019-09-28 (Sat, 28 Sep 2019)

  Changed paths:
    M CREDITS
    M HISTORY
    M libraries/lib.inc.php

  Log Message:
  -----------
  Mark PPA release 7.12.0

Update HISTORY and clean up CREDITS file for new release.