From e6e1c07531258ca225bac975db3d9dcfed9871c8 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Fri, 7 Oct 2011 15:22:01 +0200
Subject: [PATCH] ++todo(steven)

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 doc/dev/todo/steven | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven
index 2a953e0d..b79b719b 100644
--- a/doc/dev/todo/steven
+++ b/doc/dev/todo/steven
@@ -5,6 +5,7 @@ Object:
 
 
 Type:
+   type.transferred_explorers
 
 
 GlobalExplorer: