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/