# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1576397906 -3600
# Node ID c07252cc747626a7c117e3658fcfdf377a1dff10
# Parent  32f439d7012750f59ca3fa797e3717218559ecc2
add new element to config.xsd

diff -r 32f439d70127 -r c07252cc7476 docs/schema/config.xsd
--- a/docs/schema/config.xsd	Sat Dec 14 09:45:39 2019 +0100
+++ b/docs/schema/config.xsd	Sun Dec 15 09:18:26 2019 +0100
@@ -89,6 +89,7 @@
             <xs:element name="name" type="xs:string"/>
             <xs:element name="url" type="xs:anyURI"/>
             <xs:element name="user" minOccurs="0" type="xs:string"/>
+            <xs:element name="stored-user" minOccurs="0" type="xs:string"/>
             <xs:element name="password" minOccurs="0" type="xs:base64Binary" />
             <xs:element name="default-key" minOccurs="0" type="xs:string" />
             <xs:element name="full-encryption" default="false"