From e5cba59a02275ec19d9a1496ea04bcfad0b68ed4 Mon Sep 17 00:00:00 2001
From: Mirko <4560672+mu88@users.noreply.github.com>
Date: Mon, 13 Nov 2023 13:09:49 +0100
Subject: [PATCH] Add JSON key "SharedUsername" to servers.json example

---
 docs/en_US/import_export_servers.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/en_US/import_export_servers.rst b/docs/en_US/import_export_servers.rst
index fc0b27aa1..96df462b1 100644
--- a/docs/en_US/import_export_servers.rst
+++ b/docs/en_US/import_export_servers.rst
@@ -170,6 +170,7 @@ The following example shows both a minimally defined and a fully defined server:
                 "SSLCrl": "/path/to/sslcrl.crl",
                 "SSLCompression": 1,
                 "Shared": false,
+                "SharedUsername": "postgres",
                 "BGColor": "#ff9900",
                 "FGColor": "#000000",
                 "Service": "postgresql-10",