i'm currently running pgadmin4 6.12 on a Ubuntu 22.04 desktop. it's regularly notifying me that 6.15 is available. i installed using the
apt repository method in the docs, and no upgrade is available there (or at least, that's what apt reports when i ask for one.) wondering when the repo might get updated, or whether i should be concerned about it at all. thanks, richard
