mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-08-03 09:53:16 -05:00
2) Added server group name while selecting servers in schema diff. Fixes #5500 3) Fixed an issue where two identical tables showing different by schema diff tool. Fixes #5584