This bug was fixed in the package phppgadmin - 5.1+ds-1ubuntu1 --------------- phppgadmin (5.1+ds-1ubuntu1) xenial; urgency=medium
* Update to PHP7.0 dependencies (LP: #1564569). -- Nishanth Aravamudan <[email protected]> Thu, 31 Mar 2016 11:46:36 -0700 ** Changed in: phppgadmin (Ubuntu) Status: Fix Committed => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1564569 Title: Update to PHP7.0 dependencies To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/phppgadmin/+bug/1564569/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
