[ppa-commit] [phppgadmin/phppgadmin] 46944b: Update HISTORY and Bump version for 7.12.1

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

  Branch: refs/tags/REL_7-12-1
  Home:   https://github.com/phppgadmin/phppgadmin
  Commit: 46944bf9bff6642eb8eb26d4fceb211a65deede3
      https://github.com/phppgadmin/phppgadmin/commit/46944bf9bff6642eb8eb26d4fceb211a65deede3
  Author: Robert Treat <ro...@xz...>
  Date:   2019-12-09 (Mon, 09 Dec 2019)

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

  Log Message:
  -----------
  Update HISTORY and Bump version for 7.12.1