From 5e8c53f61cf952ee05771f9ef873d5b4d96d3d1d Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 2 Oct 2018 15:11:40 +0200
Subject: [PATCH] base_types.xsd: allow session labels of length 0

---
 repos/base/xsd/base_types.xsd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base/xsd/base_types.xsd b/repos/base/xsd/base_types.xsd
index 07546a8a4..ac35576dc 100644
--- a/repos/base/xsd/base_types.xsd
+++ b/repos/base/xsd/base_types.xsd
@@ -27,7 +27,7 @@
 
 	<xs:simpleType name="Session_label">
 		<xs:restriction base="xs:string">
-			<xs:minLength value="1"/>
+			<xs:minLength value="0"/>
 			<xs:maxLength value="160"/>
 		</xs:restriction>
 	</xs:simpleType><!-- Session_label -->