I took the liberty of moving this to the phppgadmin package. Looks like it is already package, just needs an upgrade. (And the new version seem to have been added to Ubuntu Focal as well)
** Package changed: ubuntu => phppgadmin (Ubuntu) ** Tags removed: needs-packaging ** Tags added: upgrade-software-version -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1852984 Title: phppgadmin 7.12 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/phppgadmin/+bug/1852984/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
