Hello:
I noticed that PgAdmin.Org has a Version 4 available.
Is this the next official release of pgadmin -- replacing the pgadmin3desktop interface?If yes, is there an ETA on when it will be included in the apt repositories?
--drg