From 5bb5a62d377c53c32fe496cec11a5c481b4814cf Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 31 Oct 2018 02:20:36 +0100
Subject: [PATCH] timeout_types.xsd: allow 0 seconds

The previous range was from 1..X because we only used it for durations. But
with the Depot Autopilot we want to use it also for a timestamp.
---
 repos/os/xsd/timeout_types.xsd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/xsd/timeout_types.xsd b/repos/os/xsd/timeout_types.xsd
index 8adf0fecf..1eefb1281 100644
--- a/repos/os/xsd/timeout_types.xsd
+++ b/repos/os/xsd/timeout_types.xsd
@@ -3,7 +3,7 @@
 
 	<xs:simpleType name="Seconds">
 		<xs:restriction base="xs:integer">
-			<xs:minInclusive value="1"/>
+			<xs:minInclusive value="0"/>
 			<xs:maxInclusive value="3600"/>
 		</xs:restriction>
 	</xs:simpleType><!-- Seconds -->