remove rt10131; resolved

diff --git a/doc/private/branches b/doc/private/branches
index 9124d93c8a5090d02cf124ae573fcb26d99682dc..2c86c6ebba8f249c6a0644697057bfbc8b9ed6a3 100644 (file)
--- a/doc/private/branches
+++ b/doc/private/branches
@@ -16,7 +16,6 @@ chroot                open            marka
 rt5299         open            marka
 rt5456         review          explorer
 rt9976         review          jakob
-rt10131                review          jakob
 
 a6_remove      closed
 adb_race       closed          explorer