From 028a4dc6ba87fcf434d2c909cc92666d1a36c5dd Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Mon, 7 Feb 2011 17:55:57 +0100
Subject: [PATCH] more todo post 1.0

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

diff --git a/doc/dev/todo/post-1.0 b/doc/dev/todo/post-1.0
index 8835727e..4169c7f9 100644
--- a/doc/dev/todo/post-1.0
+++ b/doc/dev/todo/post-1.0
@@ -7,3 +7,5 @@ Types:
       - delete_line_from_file
       - regexp replace (can probably cover all?)
 
+Core:
+   - Support singletons (see types/issue for a good reason)