mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2024-11-22 08:46:39 -06:00
Updated extension upgrade message. Fixes #3445
This commit is contained in:
parent
27bb7ff5db
commit
08e4cdf2ac