[ppa-commit] [phppgadmin/phppgadmin] 2acc91: Mark PPA release 7.12.0

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

  Branch: refs/heads/REL_7-12
  Home:   https://github.com/phppgadmin/phppgadmin
  Commit: 2acc9154c720f7f3d7e9f36b9f153ca02c69bb37
      https://github.com/phppgadmin/phppgadmin/commit/2acc9154c720f7f3d7e9f36b9f153ca02c69bb37
  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.