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
