[ppa-commit] [phppgadmin/phppgadmin] a9289b: Bump min php ver to 7.2, set app ver to 7.13.0 for...

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

  Branch: refs/heads/master
  Home:   https://github.com/phppgadmin/phppgadmin
  Commit: a9289b80b253791211733e6cfed484bbeab2884f
      https://github.com/phppgadmin/phppgadmin/commit/a9289b80b253791211733e6cfed484bbeab2884f
  Author: Robert Treat <ro...@xz...>
  Date:   2020-11-07 (Sat, 07 Nov 2020)

  Changed paths:
    M libraries/lib.inc.php

  Log Message:
  -----------
  Bump min php ver to 7.2, set app ver to 7.13.0 for release