# HG changeset patch
# User Franz Glasner <hg@dom66.de>
# Date 1545293572 -3600
# Node ID d842e07ba1998f3a2e7347c69355940f68f5f0c3
# Parent  25378fe7739840a2fe2c8e736dbc8f5d3e80beb5
FIX: Return the required default value if `alt' does not yield a better value

diff -r 25378fe77398 -r d842e07ba199 extensions/timestamps.py
--- a/extensions/timestamps.py	Tue Nov 20 09:39:07 2018 +0100
+++ b/extensions/timestamps.py	Thu Dec 20 09:12:52 2018 +0100
@@ -818,7 +818,7 @@
                 else:
                     raise ValueError("unknown alt value: %s" % alt)
             else:
-                v = None
+                v = default
         return v
 
     def __delitem__(self, key):