diff --git a/Documentation/RelNotes-1.7.2.3.txt b/Documentation/RelNotes-1.7.2.3.txt
index ef8059e..610960c 100644
--- a/Documentation/RelNotes-1.7.2.3.txt
+++ b/Documentation/RelNotes-1.7.2.3.txt
@@ -37,10 +37,3 @@
 
  * "git pack-refs --all --prune" did not remove a directory that has
    become empty.
-
----
-exec >/var/tmp/1
-echo O=$(git describe maint)
-O=v1.7.2.2
-git shortlog --no-merges $O..maint
-exit 0
diff --git a/Documentation/git.txt b/Documentation/git.txt
index 5317893..93e3b07 100644
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -44,9 +44,10 @@
 branch of the `git.git` repository.
 Documentation for older releases are available here:
 
-* link:v1.7.2.2/git.html[documentation for release 1.7.2.2]
+* link:v1.7.2.3/git.html[documentation for release 1.7.2.3]
 
 * release notes for
+  link:RelNotes-1.7.2.3.txt[1.7.2.3],
   link:RelNotes-1.7.2.2.txt[1.7.2.2],
   link:RelNotes-1.7.2.1.txt[1.7.2.1],
   link:RelNotes-1.7.2.txt[1.7.2].
diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index 2c4f44b..8efc557 100755
--- a/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 GVF=GIT-VERSION-FILE
-DEF_VER=v1.7.2.2
+DEF_VER=v1.7.2.3
 
 LF='
 '