mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-11-02 08:10:03 -06:00
2) Rename the context menu from 'Drop Server' to 'Remove Server'. Fixes #3859
88 KiB
575x523px
88 KiB
575x523px