Hi, the pgadmin4 developers have started distributing their own .deb and .rpm packages [*] which makes me wonder if we should continue shipping our own pgadmin4.deb packages. As a GUI application, it is naturally hard to test, so bugs like
https://redmine.postgresql.org/issues/5692 are prone to happen. I'm not extensively using the package myself, so I'd be glad if someone else took over maintenance of it. Anyone interested? Otherwise I'd propose that we drop it. Christoph [*] They never contacted me about it, and I was pretty much disappointed when I found out. My motivation to continue working on the package is quite low. https://www.pgadmin.org/download/pgadmin-4-apt/
