Meta/MaintNotes: the latest maint is 1.7.12.3

diff --git a/MaintNotes b/MaintNotes
index b5dc543d77eceba6da8a5e281fd96c5647011006..1e3affa83013518592045c660405bc0a63861af4 100644 (file)
--- a/MaintNotes
+++ b/MaintNotes
@@ -119,7 +119,7 @@ Whenever a feature release is made, "maint" branch is forked off from
 release are applied to this branch and maintenance releases are cut from
 it.  The maintenance releases are named with four dotted decimal, named
 after the feature release they are updates to; the last such release was
-1.7.12.1.  New features never go to this branch.  This branch is also
+1.7.12.3.  New features never go to this branch.  This branch is also
 merged into "master" to propagate the fixes forward.
 
 A new development does not usually happen on "master". When you send a