Branch: refs/heads/master
Home: https://github.com/pgadmin-org/pgadmin4
Commit: e5cba59a02275ec19d9a1496ea04bcfad0b68ed4
https://github.com/pgadmin-org/pgadmin4/commit/e5cba59a02275ec19d9a1496ea04bcfad0b68ed4
Author: Mirko <4560672+mu88(at)users(dot)noreply(dot)github(dot)com>
Date: 2023-11-13 (Mon, 13 Nov 2023)
Changed paths:
M docs/en_US/import_export_servers.rst
Log Message:
-----------
Add JSON key "SharedUsername" to servers.json example