MaintNotes: now 1.8.0.2 is out

diff --git a/MaintNotes b/MaintNotes
index 00e84e9a33c7c3ddb779ccbf086350fc227e2fc4..68a4cf525f872bd3ff115d03b82b899e0343e82b 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.4.  New features never go to this branch.  This branch is also
+1.8.0.2.  New features never go to this branch.  This branch is also
 merged into "master" to propagate the fixes forward as needed.
 
 A new development does not usually happen on "master". When you send a