From da2257edf6c292bd4e67a9781bae35344b570c50 Mon Sep 17 00:00:00 2001
From: "Kyle J. McKay" <mackyle@gmail.com>
Date: Mon, 19 Aug 2013 18:34:00 -0700
Subject: [PATCH] Remove "personal mob branches" from TODO

Personal mob branch support was added with commit a81bec60.
---
 TODO | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/TODO b/TODO
index 7c1799f..2fac2cf 100644
--- a/TODO
+++ b/TODO
@@ -19,12 +19,6 @@
 
 [Maybe?]
 
-* Personal mob branches:
-
-	Rename mob to mob/mob, anyone can create and push to mob/hislogin and
-	mob/hislogin.*. It is enough to add push perms to the mob user to
-	activate this.
-
 * The notion of project forking:
 
 	* Make it possible to aggregate the forks in graphiclog and diff
-- 
2.11.4.GIT