Merge commit '8206fbf', due to my screwup of committing it on a detached

[nmh] / DATE

diff --git a/DATE b/DATE
index beb1a1c..1e0d2c9 100644 (file)
--- a/DATE
+++ b/DATE
@@ -1 +1 @@
-1 Jul 2003
+14 April 2014