# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1695832191 -3600
# Node ID 1d12b51c4d591154535d129de1a0450c87dc9898
# Parent  9d14e7c32737f544bfbaf67e7229138a56f5cd15
minor bug wrt EOF of final cdx input file

diff -r 9d14e7c32737 -r 1d12b51c4d59 bin/merge_date.py
--- a/bin/merge_date.py	Wed Sep 27 17:29:09 2023 +0100
+++ b/bin/merge_date.py	Wed Sep 27 17:29:51 2023 +0100
@@ -95,7 +95,7 @@
 
   dkey, ddate, durl, dtime = nextDate(df,1)
 
-  while (xl := nextLine())[0] is not None:
+  while (xl := nextLine()) is not None:
     xkey, xdate, xprops = xl.split(b' ', maxsplit=2)
     m = URL.match(xprops)
     if m: