[ppa-commit] [phppgadmin/phppgadmin] e2d90c: Mark PPA release 5.6

[GitHub <no...@gi...>]

  Branch: refs/heads/master
  Home:   https://github.com/phppgadmin/phppgadmin
  Commit: e2d90c6d8a471f53623c7511c1ddcfe2d849d33e
      https://github.com/phppgadmin/phppgadmin/commit/e2d90c6d8a471f53623c7511c1ddcfe2d849d33e
  Author: Robert Treat <ro...@xz...>
  Date:   2018-11-12 (Mon, 12 Nov 2018)

  Changed paths:
    M libraries/lib.inc.php

  Log Message:
  -----------
  Mark PPA release 5.6


  Commit: 2de6cfcaf378fbbc4754d73a902ef6f39973e2f0
      https://github.com/phppgadmin/phppgadmin/commit/2de6cfcaf378fbbc4754d73a902ef6f39973e2f0
  Author: Robert Treat <xz...@us...>
  Date:   2018-11-12 (Mon, 12 Nov 2018)

  Changed paths:
    M libraries/lib.inc.php

  Log Message:
  -----------
  Mark PPA release 5.6


Compare: https://github.com/phppgadmin/phppgadmin/compare/84d80a2c2aa8...2de6cfcaf378
      **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.