add rt1013{1,2,3,4}

diff --git a/doc/private/branches b/doc/private/branches
index 618bdf709799aa2722ec5ac1733bee4a5536a90b..cd015901e61734c5fbdabd1bcf84605c66ef792e 100644 (file)
--- a/doc/private/branches
+++ b/doc/private/branches
@@ -17,6 +17,10 @@ chroot               open            marka
 rt5299         open            marka
 rt5456         review          explorer
 rt9976         review          jakob
+rt10131                review          jakob
+rt10132                review          jakob
+rt10133                review          jakob
+rt10134                review          jakob
 
 a6_remove      closed
 adb_race       closed          explorer