diff --git a/ChangeLog b/ChangeLog
index 99b42ed31..6c318afa5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2017-08-08  Daniel Shahaf  <d.s@daniel.shahaf.name>
+
+	* unposted: Config/version.mk: Post-release version number bump
+	to 5.4-dev-0.
+
 2017-08-07  Peter Stephenson  <p.w.stephenson@ntlworld.com>
 
 	* unposted: version 5.4.
diff --git a/Config/version.mk b/Config/version.mk
index e6c48050f..3bb01dd56 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.4
-VERSION_DATE='August 7, 2017'
+VERSION=5.4-dev-0
+VERSION_DATE='August 8, 2017'