[ppa-commit] [phppgadmin/phppgadmin] 450f15: Bump minimum supported PHP version to 7.1

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

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

  Changed paths:
    M libraries/lib.inc.php

  Log Message:
  -----------
  Bump minimum supported PHP version to 7.1