[pgadmin-support] where should I file pgagent bugs?

Folks, I've a bunch of bugs in pgagent to file. Should I post them all here? Or somewhere else? It doesn't look like anyone uses the github issue tracker. -- Josh Berkus PostgreSQL Experts Inc. http://pgexperts.com -- Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org) To

[pgadmin-support] pgagent DEB packages do not support postgres 9.4

Folks: On Ubuntu 14.04, for the database server, there is a single pgagent meta-package which is supposed ot cover all versions of Postgres. But it fails: root@491cc8cbb9c2:/# apt-get install pgagent Reading package lists... Done Building dependency tree Reading state information... Done The fol

[pgadmin-support] Suggesion: User Interface: Query tool: Match menu command and icon

Hi, right now it's unclear that those two commands bring up the same window: * Menu Tools > Query tool * Icon "SQL" (with magnifying glass) Suggestion: Use the same wording for both. *) If you are keeping the icon as it is, then rename the menu entry to "SQL Query Tool" (i.e. repeating the key