auto update

diff --git a/doc/private/branches b/doc/private/branches
index 83cabcca378a5c858f1ffb63cce97ede03d1cde3..7947e24009295c9ffe09df37da4305629361b203 100644 (file)
--- a/doc/private/branches
+++ b/doc/private/branches
@@ -199,6 +199,7 @@ v9_4_1_patch                        active          // security fixes 9.4.1 only
 v9_4_2_P1                      new     each    // 2008-05-22 21:12 +0000
 v9_4_2_P2_W1                   new     mayer   // 2008-08-09 19:33 +0000
 v9_4_2_P2_danny                        new     
+v9_4_2_P2_michael              new     
 v9_4_2_P2_win32                        new     each    // 2008-08-21 00:20 +0000
 v9_4_2_patch                   new     
 v9_5                           new     marka   // 2008-01-02 04:47 +0000