diff --git a/doc/private/branches b/doc/private/branches
index 83cabcca37..7947e24009 100644
--- 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