diff --git a/ChangeLog b/ChangeLog
index 985711036..2d25d1d6b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2014-10-07 Peter Stephenson
+
+ * unposted: Config/version.mk: 5.0.7
+
2014-10-06 Peter Stephenson
* unposted (discussed offline): README: update description of
diff --git a/Config/version.mk b/Config/version.mk
index 65452b4bc..03289c155 100644
--- a/Config/version.mk
+++ b/Config/version.mk
@@ -27,5 +27,5 @@
# This must also serve as a shell script, so do not add spaces around the
# `=' signs.
-VERSION=5.0.6-dev-1
-VERSION_DATE='October 2, 2014'
+VERSION=5.0.7
+VERSION_DATE='October 7, 2014'