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

[nmh] / DATE

diff --git a/DATE b/DATE
index daa299b..1e0d2c9 100644 (file)
--- a/DATE
+++ b/DATE
@@ -1 +1 @@
-22 April 2012
+14 April 2014