[ppa-commit] [phppgadmin/phppgadmin] e7d130: Update History and Credits based on recent patches

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

  Branch: refs/heads/master
  Home:   https://github.com/phppgadmin/phppgadmin
  Commit: e7d13050ac738d4cebfb6a90d1c40e816dbdccc3
      https://github.com/phppgadmin/phppgadmin/commit/e7d13050ac738d4cebfb6a90d1c40e816dbdccc3
  Author: Robert Treat <ro...@xz...>
  Date:   2015-02-15 (Sun, 15 Feb 2015)

  Changed paths:
    M CREDITS
    M HISTORY

  Log Message:
  -----------
  Update History and Credits based on recent patches