mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-07-31 00:28:22 -05:00
Akshay Joshi
30509d1bc1
Added copy server support, allowing the duplication of existing servers with the option to make certain modifications. #6085